add code coverage

JonasKlamroth · May 30, 2023 · ab48404 · ab48404
1 parent c722a3e
commit ab48404
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -53,7 +53,7 @@ jobs:
       - name: Build with Gradle
         uses: gradle/[email protected]
         with:
-          arguments: --continue -x :key.core.symbolic_execution:test -x :key.core.proof_references:test test
+          arguments: --continue -DjacocoEnabled=true -x :key.core.symbolic_execution:test -x :key.core.proof_references:test test
 
       - name: Upload test results
         uses: actions/[email protected]
@@ -64,6 +64,9 @@ jobs:
             **/build/test-results/*/*.xml
             **/build/reports/
 
+      - name: Upload coverage reports to Codecov
+        uses: codecov/codecov-action@v3
+
   integration-tests:
     env:
       GH_TOKEN: ${{ github.token }}