diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml deleted file mode 100644 index 16aca89c..00000000 --- a/.github/workflows/coverage.yml +++ /dev/null @@ -1,30 +0,0 @@ -name: 'Generate coverage report' - -on: - push: - branches: - - master - - main - pull_request: - -jobs: - coverage: - - runs-on: ubuntu-latest - name: Coverage on Ubuntu - - steps: - - uses: actions/checkout@v4 - - name: Set up JDK 11 - uses: actions/setup-java@v3 - with: - distribution: 'temurin' - java-version: '11' - check-latest: true - - name: Generate coverage with JaCoCo - run: mvn -V --color always -ntp clean verify --file pom.xml '-Dgpg.skip' - - name: Upload coverage to Codecov - uses: codecov/codecov-action@v3 - with: - files: 'target/site/jacoco/jacoco.xml' - token: ${{secrets.CODECOV_TOKEN}} diff --git a/.github/workflows/reporting.yml b/.github/workflows/reporting.yml index 40a90b7f..ff36f5be 100644 --- a/.github/workflows/reporting.yml +++ b/.github/workflows/reporting.yml @@ -31,10 +31,10 @@ jobs: with: token: ${{secrets.CODECOV_TOKEN}} - name: Autograding - uses: uhafner/autograding-github-action@v2.1.0 + uses: uhafner/autograding-github-action@v3.0.0 with: - TOKEN: ${{ secrets.GITHUB_TOKEN }} - CONFIG: > + github-token: ${{ secrets.GITHUB_TOKEN }} + config: > { "tests": { "tools": [