Merge pull request #125 from svermeulen/Develop

Mathijs-Bakker · web-flow · commit 688bfe980650 · 2020-04-27T15:50:37.000+02:00
Add develop branch to CI workflow
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -4,7 +4,8 @@ on:
   pull_request: {}
   push:
     branches: 
-      - master   
+      - master
+      - Develop   
     paths-ignore:
       - 'Documentation/**'
       - '*.md'
