Restrict CI runs to specific branches and PRs (#433)

pinchbv · Nov 20, 2020 · c5925af · c5925af
1 parent a6c65e8
commit c5925af
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,6 +1,11 @@
 name: CI
 
-on: [ push, pull_request ]
+on:
+  push:
+    branches:
+      - develop
+      - nullsafety
+  pull_request:
 
 jobs:
   floor-annotation: