Replace coveralls with codecov

.github/workflows/mvn-build-action.yml

@@ -21,14 +21,5 @@ jobs:
         run: ./src/compile-and-clean-test-projects.sh
       - name: Test and Coverage with Maven
         run: mvn test jacoco:report
-      - name: "Report: Coverage via coveralls.io"
-        run: |
-          export CI_BRANCH=${BRANCH_NAME_OR_REF#refs/heads/}
-          export CI_PULL_REQUEST=$(jq --raw-output .pull_request.number "$GITHUB_EVENT_PATH")
-          mvn coveralls:report --no-transfer-progress -DrepoToken=$COVERALLS_SECRET
-        env:
-          CI_NAME: github
-          BRANCH_NAME_OR_REF: ${{ github.head_ref || github.ref }}
-          CI_BUILD_NUMBER: ${{ github.run_id }}
-          CI_BUILD_URL: https://github.com/${{ github.repository }}/commit/${{ github.event.after }}/checks
-          COVERALLS_SECRET: ${{ secrets.GITHUB_TOKEN }}
+      - name: Report coverage to Codecov
+        uses: codecov/[email protected]

.gitignore

@@ -42,3 +42,6 @@ hs_err_pid*
 !/src/main/resources/runner-classes/fr/inria/stamp/runner/test/Loader.class
 !/src/main/resources/runner-classes/fr/inria/stamp/runner/coverage/JacocoRunner.class
 !/src/main/resources/runner-classes/fr/inria/stamp/runner/test/Failure.class
+
+# Jacoco exec files
+test-runner.exec

codecov.yml

@@ -0,0 +1,8 @@
+codecov:
+  require_ci_to_pass: no
+
+comment: false
+
+coverage:
+  precision: 2
+  round: down