Cancel in progress jobs on git push

galaxyproject · Jul 7, 2021 · 3903a05 · 3903a05
1 parent 2191239
commit 3903a05
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/.github/workflows/publishdocs.yml b/.github/workflows/publishdocs.yml
@@ -1,7 +1,7 @@
 name: Publish gxformat2 Docs
 on:
-  push:	
-    branches:	
+  push:
+    branches:
       - master
 jobs:
   deploy:

diff --git a/.github/workflows/tox.yml b/.github/workflows/tox.yml
@@ -1,5 +1,8 @@
 name: Python CI
 on: [push, pull_request]
+concurrency:
+  group: tox-${{ github.ref }}
+  cancel-in-progress: true
 jobs:
   build:
     runs-on: ubuntu-latest