fix

KeYProject · Oct 2, 2023 · 852c543 · 852c543
1 parent e91b209
commit 852c543
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -2,6 +2,9 @@ name: Broad Release Tests
 
 on:
   workflow_dispatch:
+  push:
+      - "main"
+      - "master"
   schedule:
     - cron:  '0 5 * * 1' # every monday morning
 
@@ -15,7 +18,7 @@ jobs:
       matrix:
         os: [macos-latest, ubuntu-latest, windows-latest]
         java: [8,11,17,21]
-    continue-on-error: true
+    continue-on-error: false
     runs-on: ${{ matrix.os }}
     env:
       GH_TOKEN: ${{ github.token }}