dropped develop branch

gdraheim · gdraheim · commit 6af8edf03997 · 2026-02-10T20:20:59.000+01:00
diff --git a/.github/workflows/lintcheck.yml b/.github/workflows/lintcheck.yml
@@ -2,9 +2,9 @@ name: lint style check
 
 on:
   push:
-    branches: [ develop, v1.7 ]
+    branches: [ master, v1.7 ]
   pull_request:
-    branches: [ develop, master ]
+    branches: [ master ]
   workflow_dispatch:
 
 jobs:
diff --git a/.github/workflows/typecheck.yml b/.github/workflows/typecheck.yml
@@ -2,9 +2,9 @@ name: typehints check
 
 on:
   push:
-    branches: [ develop, v1.7 ]
+    branches: [ master, v1.7 ]
   pull_request:
-    branches: [ develop, master ]
+    branches: [ master ]
   workflow_dispatch:
 
 jobs:
diff --git a/.github/workflows/unittests.yml b/.github/workflows/unittests.yml
@@ -2,9 +2,9 @@ name: basic unit tests
 
 on:
   push:
-    branches: [ develop, v1.7 ]
+    branches: [ master, v1.7 ]
   pull_request:
-    branches: [ develop, master ]
+    branches: [ master ]
 
 jobs:
   unittests:
