Ignore workflow runs on master branch

This master branch is just an alias to the main branch for legacy
reasons, so there's no need to run workflows on both branches.

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index a08549c0c5c73357a3c9ec07fa10dcf9eab1d100..b00bf47fe66100fa8ad9ffbd2a981ff419528eb7 100644 (file)
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -1,6 +1,12 @@
 name: Continuous Integration Checks
 
-on: [push, pull_request]
+on:
+  push:
+    branches-ignore:
+      - master
+  pull_request:
+    branches-ignore:
+      - master
 
 jobs:
   build: