mirror/gradio
2
0
Fork 0
mirror of https://github.com/gradio-app/gradio.git synced 2025-02-23 11:39:17 +08:00
Code Issues Packages Projects Releases Wiki Activity

Cancel tests with updates

Browse Source
This commit is contained in:
Ömer Faruk Özdemir 2022-02-23 15:29:39 +03:00
parent 7e6eba5997
commit e24b63ac4a
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.github/workflows/ui.yml vendored
View File

@ -14,6 +14,10 @@ defaults:
run:
working-directory: ./ui
concurrency:
group: deploy-${{ github.ref }}-${{ github.event_name == 'push' || github.event.inputs.fire != null }}
cancel-in-progress: true
jobs:
check:
name: static checks
@ -35,4 +39,4 @@ jobs:
- name: unit tests
run: pnpm test:run
- name: build
run: pnpm build
run: pnpm build