run CI on dev branch too

Remi-Gau · Remi-Gau · commit ead1d8c6891d · 2022-11-02T11:17:21.000+01:00
diff --git a/.github/workflows/check_md_links.yml b/.github/workflows/check_md_links.yml
@@ -6,6 +6,7 @@ on:
   push:
     branches:
       - master
+      - dev
   pull_request:
     branches: ['*']
 
diff --git a/.github/workflows/miss_hit.yml b/.github/workflows/miss_hit.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - master
+      - dev
   pull_request:
     branches: ['*']
 
diff --git a/.github/workflows/run_tests.yml b/.github/workflows/run_tests.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - master
+      - dev
   pull_request:
     branches: ['*']
 
