From 31c81f52abf130428ab3e2dd314bc7be3ac010e2 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Thu, 27 Jan 2022 09:14: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 | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 604e094..da94d37 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -27,11 +27,14 @@ jobs: steps: - uses: actions/checkout@v2 - - uses: gap-actions/setup-gap-for-packages@v1 + - uses: gap-actions/setup-gap@v2 with: GAPBRANCH: ${{ matrix.gap-branch }} ABI: ${{ matrix.ABI }} - - uses: gap-actions/run-test-for-packages@v1 + - uses: gap-actions/build-pkg@v1 + - uses: gap-actions/run-pkg-tests@v2 + - uses: gap-actions/process-coverage@v2 + - uses: codecov/codecov-action@v2 # The documentation job manual: @@ -42,8 +45,8 @@ jobs: steps: - uses: actions/checkout@v2 - - uses: gap-actions/setup-gap-for-packages@v1 - - uses: gap-actions/compile-documentation-for-packages@v1 + - uses: gap-actions/setup-gap@v2 + - uses: gap-actions/build-pkg-docs@v1 with: use-latex: 'true' - name: 'Upload documentation'