ci change push branch dev to development

Author: jankapunkt

.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: