Avoid running the workflow twice on PR pushes

When someone force-pushes to a PR or adds a new commit, the workflow would run _twice_, as both `push` and `pull_request` events would trigger. The default for `types` is `[opened, reopened, synchronize]`; the latter is the type that overlaps with `push`. In addition, existing runs for the same PR are cancelled whenever a push is made.
aio-libs · Mar 28, 2022 · f348ac7 · f348ac7
1 parent 42a5e2a
commit f348ac7
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -10,10 +10,16 @@ on:
     branches:
       - master
       - ?.?*
+    types: [opened, reopened]
   schedule:
     - cron:  '0 6 * * *'  # Daily 6AM UTC build
 
 
+concurrency:
+  group: ${{ github.ref }}-${{ github.workflow }}
+  cancel-in-progress: true
+
+
 jobs:
 
   lint:

diff --git a/CHANGES/700.misc.rst b/CHANGES/700.misc.rst
@@ -0,0 +1 @@
+Updated the GitHub workflow to avoid running unnecessary extra jobs.