Trigger CI on push to develop (#247)

pinchbv · Jan 25, 2020 · 29fee08 · 29fee08
1 parent 6525e9d
commit 29fee08
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,6 +1,10 @@
 name: CI
 
-on: pull_request
+on:
+  push:
+    branches:
+      - develop
+  pull_request:
 
 jobs:
   floor-annotation: