Skip to content

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

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 #104740

Triggered via pull request October 17, 2024 01:31
Status Success
Total duration 13s
Artifacts

trigger-changeset.yml

on: pull_request
changeset
0s
changeset
Fit to window
Zoom out
Zoom in