mirror/gradio
2
0
Fork 0
mirror of https://github.com/gradio-app/gradio.git synced 2025-01-18 10:44:33 +08:00
Code Issues Packages Projects Releases Wiki Activity

Debug ci (#5194)

Browse Source 
* ci tweaks

* ci tweaks

* ci tweaks

* ci tweaks
This commit is contained in:
pngwn 2023-08-11 22:29:59 +01:00 committed by GitHub
parent 2b8846f395
commit 7334a4b182
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.github/workflows/generate-changeset.yml vendored
View File

@ -15,6 +15,7 @@ concurrency:
jobs:
get-pr:
runs-on: ubuntu-latest
if: github.event.workflow_run.conclusion == 'success'
outputs:
found_pr: ${{ steps.pr_details.outputs.found_pr }}
pr_number: ${{ steps.pr_details.outputs.pr_number }}