Skip to content

Export Tabs type from @gradio/tabs and fix the Playground to be compatible with the new Tabs API #3274

Export Tabs type from @gradio/tabs and fix the Playground to be compatible with the new Tabs API

Export Tabs type from @gradio/tabs and fix the Playground to be compatible with the new Tabs API #3274

Triggered via pull request October 17, 2024 01:32
Status Success
Total duration 17m 4s
Artifacts 1

test-functional-lite.yml

on: pull_request
changes
9s
changes
functional-test-lite
16m 34s
functional-test-lite
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
changes
Unexpected input(s) 'sha', 'source_repo', 'source_branch', 'pr_number', 'should_run', 'labels', 'run_id', 'gradio_version', valid inputs are ['path']
functional-test-lite
The following actions use a deprecated Node.js version and will be forced to run on node20: FedericoCarboni/setup-ffmpeg@583042d32dd1cabb8bd09df03bde06080da5c87c. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

Artifacts

Produced during runtime
Name Size
changes
337 Bytes