From 19f44371619356edb4ebff93cd5b00bdcae94020 Mon Sep 17 00:00:00 2001 From: Max Horn <max@quendi.de> Date: Thu, 27 Jan 2022 00:49:20 +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 e17fd05..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,8 +40,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'