Stop build duplication

We were building on each push, and on each pull request. The change will make it so that only pushes to master will build, rather than every single commit individually.
terra-farm · Sep 21, 2021 · 9107849 · 9107849
1 parent 07449d0
commit 9107849
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -1,6 +1,13 @@
 # Workflow used as Continous Integration every time we have a PR.
 name: CI
-on: [push, pull_request]
+
+on:
+  # Only build when pushed to master
+  push:
+    branches:
+    - master
+  # Build all pull requests
+  pull_request:
 
 jobs:
   lint: