ci change push branch dev to development

orgads · Oct 10, 2021 · dcd8a3d · dcd8a3d
1 parent 917b4b9
commit dcd8a3d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -4,7 +4,7 @@ on:
   push:
     branches:
       - master # allthough  master is push protected we still keep it
-      - dev
+      - development
   pull_request: # runs on all PR
 
 jobs: