(actions) dont't run pull_request on develop (#425)

Branches need to be up-to-date, so pull_request and push are the same
RobotWebTools · Apr 12, 2021 · f29a50f · f29a50f
1 parent 2e125d0
commit f29a50f
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -1,6 +1,10 @@
 name: CI
 
-on: [push, pull_request]
+on:
+  push:
+  pull_request:
+    branches-ignore:
+      - develop
 
 jobs:
   ci: