From 6345e42c710e666956b74f6c3cfd27515764a473 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Wed, 26 Jan 2022 23:32:16 +0100 Subject: [PATCH] CI: Ensure code coverage reporting will work in February 2022 and beyond See https://github.com/gap-actions/process-coverage/issues/10 --- .github/workflows/CI.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 896855d..3291221 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -41,7 +41,9 @@ jobs: - uses: gap-actions/build-pkg@v1 with: ABI: ${{ matrix.ABI }} - - uses: gap-actions/run-pkg-tests@v1 + - uses: gap-actions/run-pkg-tests@v2 + - uses: gap-actions/process-coverage@v2 + - uses: codecov/codecov-action@v2 # The documentation job manual: