Skip to content

Actions: gradio-app/gradio

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
378,822 workflow runs
378,822 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

previews-deploy previews-deploy #3309: completed by whitphx
October 17, 2024 01:32 4s
October 17, 2024 01:32 4s
Generate changeset Generate changeset #104388: completed by whitphx
October 17, 2024 01:32 49s
October 17, 2024 01:32 49s
Generate changeset Generate changeset #104387: completed by gradio-pr-bot
October 17, 2024 01:32 4s
October 17, 2024 01:32 4s
Export Tabs type from @gradio/tabs and fix the Playground to be compatible with the new Tabs API trigger-changeset #104742: Pull request #9738 synchronize by gradio-pr-bot
October 17, 2024 01:32 3s export-tabs-type-and-use-in-playground
export-tabs-type-and-use-in-playground
October 17, 2024 01:32 3s
Export Tabs type from @gradio/tabs and fix the Playground to be compatible with the new Tabs API previews-build #3455: Pull request #9738 synchronize by gradio-pr-bot
October 17, 2024 01:32 13m 32s export-tabs-type-and-use-in-playground
export-tabs-type-and-use-in-playground
October 17, 2024 01:32 13m 32s
Export Tabs type from @gradio/tabs and fix the Playground to be compatible with the new Tabs API npm #2529: Pull request #9738 synchronize by gradio-pr-bot
October 17, 2024 01:32 4m 6s export-tabs-type-and-use-in-playground
export-tabs-type-and-use-in-playground
October 17, 2024 01:32 4m 6s
Export Tabs type from @gradio/tabs and fix the Playground to be compatible with the new Tabs API storybook-build #3501: Pull request #9738 synchronize by gradio-pr-bot
October 17, 2024 01:32 5m 43s export-tabs-type-and-use-in-playground
export-tabs-type-and-use-in-playground
October 17, 2024 01:32 5m 43s
Export Tabs type from @gradio/tabs and fix the Playground to be compatible with the new Tabs API trigger-semgrep #816: Pull request #9738 synchronize by gradio-pr-bot
October 17, 2024 01:32 17s export-tabs-type-and-use-in-playground
export-tabs-type-and-use-in-playground
October 17, 2024 01:32 17s
Export Tabs type from @gradio/tabs and fix the Playground to be compatible with the new Tabs API js #10377: Pull request #9738 synchronize by gradio-pr-bot
October 17, 2024 01:32 5m 22s export-tabs-type-and-use-in-playground
export-tabs-type-and-use-in-playground
October 17, 2024 01:32 5m 22s
Export Tabs type from @gradio/tabs and fix the Playground to be compatible with the new Tabs API functional #10411: Pull request #9738 synchronize by gradio-pr-bot
October 17, 2024 01:32 17m 34s export-tabs-type-and-use-in-playground
export-tabs-type-and-use-in-playground
October 17, 2024 01:32 17m 34s
Export Tabs type from @gradio/tabs and fix the Playground to be compatible with the new Tabs API docs-build #3198: Pull request #9738 synchronize by gradio-pr-bot
October 17, 2024 01:32 6m 10s export-tabs-type-and-use-in-playground
export-tabs-type-and-use-in-playground
October 17, 2024 01:32 6m 10s
Export Tabs type from @gradio/tabs and fix the Playground to be compatible with the new Tabs API hygiene #10373: Pull request #9738 synchronize by gradio-pr-bot
October 17, 2024 01:32 27s export-tabs-type-and-use-in-playground
export-tabs-type-and-use-in-playground
October 17, 2024 01:32 27s
Export Tabs type from @gradio/tabs and fix the Playground to be compatible with the new Tabs API python #11131: Pull request #9738 synchronize by gradio-pr-bot
October 17, 2024 01:32 28s export-tabs-type-and-use-in-playground
export-tabs-type-and-use-in-playground
October 17, 2024 01:32 28s
Export Tabs type from @gradio/tabs and fix the Playground to be compatible with the new Tabs API functional-lite #3274: Pull request #9738 synchronize by gradio-pr-bot
October 17, 2024 01:32 17m 4s export-tabs-type-and-use-in-playground
export-tabs-type-and-use-in-playground
October 17, 2024 01:32 17m 4s
Export Tabs type from @gradio/tabs and fix the Playground to be compatible with the new Tabs API trigger-changeset #104741: Pull request #9738 edited by whitphx
October 17, 2024 01:31 13s export-tabs-type-and-use-in-playground
export-tabs-type-and-use-in-playground
October 17, 2024 01:31 13s
Export Tabs type from @gradio/tabs and fix the Playground to be compatible with the new Tabs API python #11130: Pull request #9738 edited by whitphx
October 17, 2024 01:31 21s export-tabs-type-and-use-in-playground
export-tabs-type-and-use-in-playground
October 17, 2024 01:31 21s
semgrep ci semgrep ci #739: completed by whitphx
October 17, 2024 01:31 47s
October 17, 2024 01:31 47s
update-checks update-checks #13857: completed by whitphx
October 17, 2024 01:31 21s
October 17, 2024 01:31 21s
Generate changeset Generate changeset #104386: completed by whitphx
October 17, 2024 01:31 44s
October 17, 2024 01:31 44s
Export Tabs type from @gradio/tabs and fix the Playground to be compatible with the new Tabs API trigger-changeset #104740: Pull request #9738 opened by whitphx
October 17, 2024 01:31 13s export-tabs-type-and-use-in-playground
export-tabs-type-and-use-in-playground
October 17, 2024 01:31 13s
Export Tabs type from @gradio/tabs and fix the Playground to be compatible with the new Tabs API functional-lite #3273: Pull request #9738 opened by whitphx
October 17, 2024 01:31 59s export-tabs-type-and-use-in-playground
export-tabs-type-and-use-in-playground
October 17, 2024 01:31 59s
Export Tabs type from @gradio/tabs and fix the Playground to be compatible with the new Tabs API js #10376: Pull request #9738 opened by whitphx
October 17, 2024 01:31 1m 1s export-tabs-type-and-use-in-playground
export-tabs-type-and-use-in-playground
October 17, 2024 01:31 1m 1s
Export Tabs type from @gradio/tabs and fix the Playground to be compatible with the new Tabs API npm #2528: Pull request #9738 opened by whitphx
October 17, 2024 01:31 1m 11s export-tabs-type-and-use-in-playground
export-tabs-type-and-use-in-playground
October 17, 2024 01:31 1m 11s
Export Tabs type from @gradio/tabs and fix the Playground to be compatible with the new Tabs API functional #10410: Pull request #9738 opened by whitphx
October 17, 2024 01:31 1m 1s export-tabs-type-and-use-in-playground
export-tabs-type-and-use-in-playground
October 17, 2024 01:31 1m 1s
Export Tabs type from @gradio/tabs and fix the Playground to be compatible with the new Tabs API docs-build #3197: Pull request #9738 opened by whitphx
October 17, 2024 01:31 59s export-tabs-type-and-use-in-playground
export-tabs-type-and-use-in-playground
October 17, 2024 01:31 59s