From f167c77182be865bd8fc5843f3bfbd6735c64d23 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Thu, 27 Jan 2022 00:31:58 +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 | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 76b5637..df81bf7 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -23,10 +23,13 @@ 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 }} - - 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: @@ -37,12 +40,12 @@ 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' - uses: actions/upload-artifact@v1 + uses: actions/upload-artifact@v2 with: name: manual path: ./doc/manual.pdf