activate all operating systems

KeYProject · Jul 22, 2023 · 2a3f271 · 2a3f271
1 parent d03f599
commit 2a3f271
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 6 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -63,7 +63,7 @@ jobs:
           path: |
             **/build/test-results/*/*.xml
             **/build/reports/
-            !jacocoTestReport.xml
+            !**/jacocoTestReport.xml
             
 
       - name: Upload coverage reports to Codecov

diff --git a/.github/workflows/tests_winmac.yml b/.github/workflows/tests_winmac.yml
@@ -13,7 +13,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: [macos-latest] # ubuntu-latest, windows-latest
+        os: [macos-latest, ubuntu-latest, windows-latest]
         java: [11, 17]
     continue-on-error: true
     runs-on: ${{ matrix.os }}
@@ -40,9 +40,8 @@ jobs:
           path: |
             **/build/test-results/*/*.xml
             **/build/reports/
-
-      - name: Upload coverage reports to Codecov
-        uses: codecov/codecov-action@v3
+            !**/jacocoTestReport.xml
+            
 
   integration-tests:
     env:
@@ -52,7 +51,7 @@ jobs:
       fail-fast: false
       matrix:
         test: [testProveRules, testRunAllFunProofs, testRunAllInfProofs]
-        os: [ macos-latest ] # ubuntu-latest, windows-latest,
+        os: [ macos-latest, ubuntu-latest, windows-latest ]
         java: [11,17]
     runs-on: ${{ matrix.os }}
     steps:
@@ -87,3 +86,5 @@ jobs:
             **/build/test-results/*/*.xml
             key.core/build/reports/runallproofs/*
             **/build/reports/
+            !**/jacocoTestReport.xml
+