CI: execute the jobs only for master commits and PRs

lzaoral · lzaoral · commit 47302a53fee0 · 2022-05-17T14:32:46.000+02:00
... so that we don't needlessly waste GitHub's resources.
diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml
@@ -1,6 +1,12 @@
 ---
 name: Linux CI
-on: [push, pull_request]
+on:
+  push:
+    branches:
+      - master
+  pull_request:
+    branches:
+      - master
 
 jobs:
   build64:
