From ab48404dccab8596650fd27af9de28a253bf34a3 Mon Sep 17 00:00:00 2001 From: Alexander Weigl Date: Tue, 30 May 2023 03:57:02 +0200 Subject: [PATCH] add code coverage --- .github/workflows/tests.yml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index 98f473869ae..173dca28cbf 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -53,7 +53,7 @@ jobs: - name: Build with Gradle uses: gradle/gradle-build-action@v2.4.2 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/upload-artifact@v3.1.1 @@ -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 }}