Export Tabs type from @gradio/tabs and fix the Playground to be compatible with the new Tabs API
#104749
Triggered via issue
October 17, 2024 01:38
gradio-pr-bot
Status
Skipped
Total duration
2s
Artifacts
–