Re-enable test for release branch

KeYProject · Jul 27, 2023 · 6e6898d · 6e6898d
1 parent 614852f
commit 6e6898d
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 5 deletions.
diff --git a/.github/workflows/code_quality.yml b/.github/workflows/code_quality.yml
@@ -6,7 +6,7 @@ on:
   push:
     branches:
       - main
-      - 'releases/*'
+      - 'KeY-*'
 
 jobs:
   qodana:

diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
@@ -4,8 +4,9 @@ on:
   push:
     branches: [ "main" ]
   pull_request:
-    # The branches below must be a subset of the branches above
-    branches: [ "main" ]
+    branches:
+      - "main"
+      - "KeY-*"
   schedule:
     - cron: '21 21 * * 4'
   merge_group:

diff --git a/.github/workflows/javadoc.yml b/.github/workflows/javadoc.yml
@@ -6,7 +6,6 @@ on:
 
 jobs:
   doc:
-    # later limit to master only!
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v3

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -5,7 +5,9 @@ on:
   push:
     branches: [ "main" ]
   pull_request:
-    branches: [ "main" ]
+    branches:
+      - "main"
+      - "KeY-*"
   merge_group:
 
 permissions: