Prevent push and pull_request from running at the same time

See: https://github.com/orgs/community/discussions/26276
brick · Feb 7, 2024 · 801ad1a · 801ad1a
1 parent 41fec7d
commit 801ad1a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -2,6 +2,8 @@ name: CI
 
 on:
   push:
+    branches:
+      - master
   pull_request:
 
 jobs: