fix

KeYProject · Oct 2, 2023 · c4ff6d5 · c4ff6d5
1 parent 852c543
commit c4ff6d5
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -3,8 +3,7 @@ name: Broad Release Tests
 on:
   workflow_dispatch:
   push:
-      - "main"
-      - "master"
+      branches: ["main", "master"]
   schedule:
     - cron:  '0 5 * * 1' # every monday morning