zig

commit 779674aaca3436f894fa149f8149516f747252ca (tree)
parent 60242d621078a4d41baf987709b89d4759dd3aac
Author: Loris Cro <kappaloris@gmail.com>
Date:   Wed, 23 Nov 2022 03:00:39 +0100

ci: only run CI on pull requests and master branch pushes

To get the CI to run on branches other than master, create a corresponding PR.

Diffstat:
M
.github/workflows/ci.yaml
 | 
6
+++++-

1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -1,5 +1,9 @@
 name: ci
-on: [push, pull_request]
+on:
+  pull_request:
+  push:
+    branches: 
+      - master
 jobs:
   x86_64-linux-debug:
     outputs: