Restrict CI to PRs and pushes/tags on master only (#511)

Previously we were running CI for every PR twice, from the PR and push triggers.
JuliaInterop · Oct 16, 2024 · 8ed2dd2 · 8ed2dd2
1 parent 2c52e0f
commit 8ed2dd2
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,7 +1,11 @@
 name: CI
 on:
-  - push
-  - pull_request
+  push:
+    branches:
+      - master
+    tags: ['*']
+  pull_request:
+
 jobs:
   test:
     name: Julia ${{ matrix.version }} - ${{ matrix.os }} - ${{ matrix.arch }} - ${{ github.event_name }}