CI: Only run CI workflow once per PR

The previous configuration would run CI twice for every PR, on: - The merge commit with the base branch. - The tip commit of the PR branch. The latter is only useful for debugging. However, we still want to run CI directly on the `master` branch, to ensure that any PRs with runtime conflicts but not code conflicts get tested in combination.
sircsq · Oct 5, 2023 · 8bace89 · 8bace89
1 parent b6a6c6e
commit 8bace89
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/.github/workflows/audits.yml b/.github/workflows/audits.yml
@@ -1,6 +1,9 @@
 name: Audits
 
-on: [push, pull_request]
+on:
+  pull_request:
+  push:
+    branches: master
 
 permissions:
   contents: read

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,6 +1,9 @@
 name: CI
 
-on: [push, pull_request]
+on:
+  pull_request:
+  push:
+    branches: master
 
 jobs:
   build: