re-add CI trigger for develop branch

exaexa · exaexa · commit 15965dfdb73a · 2021-01-25T09:44:50.000+01:00
...so that pre-PR testing is easier
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - master
+      - develop
 
 jobs:
   test:

-Original file line number
+Diff line change
   push:
     branches:
       - master
 +      - develop
 jobs:
   test: