switch .github/workflows from develop to master

Author: dennisvang

.github/workflows/code-style.yml

@@ -3,7 +3,7 @@ name: "Code Style"
 on:
   push:
     branches:
-      - develop
+      - master
   pull_request:
 
 concurrency:

.github/workflows/docker-publish.yml

@@ -3,7 +3,7 @@ name: Publish to Docker Hub
 on:
   push:
     branches:
-      - develop
+      - master
   pull_request:
     paths-ignore:
       - "**.cff"

.github/workflows/maven-verify.yml

@@ -5,7 +5,7 @@ name: Maven verify
 on:
   push:
     branches:
-      - develop
+      - master
       - "support/**"
   pull_request:
     paths-ignore:

.github/workflows/security.yml

@@ -3,7 +3,7 @@ name: "Security Audit"
 on:
   push:
     branches:
-      - develop
+      - master
   pull_request:
   schedule:
     - cron: '23 4 * * 1'