Merge branch 'dev' into update_2023

volkamerlab · Feb 19, 2024 · f6d109a · f6d109a
2 parents 17b037c + 33ac787
commit f6d109a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -4,9 +4,11 @@ on:
   push:
     branches:
       - "master"
+  workflow_dispatch: 
   pull_request:
     branches:
       - "master"
+      - "dev"
   schedule:
     # Run a cron job once daily, weekdays only
     - cron: "0 3 1,15 * *"