From ee2926c58d24faa17990d03699a4f14a3c4aac56 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Fri, 25 Aug 2023 12:56:42 +0200 Subject: [PATCH] Update CI setup to latest version --- .github/workflows/CI.yml | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 7302168..64faf58 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -25,10 +25,11 @@ jobs: matrix: gap-branch: - master + - stable-4.12 - stable-4.11 steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 - uses: gap-actions/setup-gap@v2 with: GAP_PKGS_TO_BUILD: "io nq profiling kbmag" @@ -36,7 +37,7 @@ jobs: - uses: gap-actions/build-pkg@v1 - uses: gap-actions/run-pkg-tests@v2 - uses: gap-actions/process-coverage@v2 - - uses: codecov/codecov-action@v2 + - uses: codecov/codecov-action@v3 # The documentation job manual: @@ -44,7 +45,7 @@ jobs: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 - uses: gap-actions/setup-gap@v2 with: GAP_PKGS_TO_BUILD: "io nq profiling kbmag" @@ -52,7 +53,8 @@ jobs: with: use-latex: 'true' - name: 'Upload documentation' - uses: actions/upload-artifact@v2 + uses: actions/upload-artifact@v3 with: name: manual path: ./doc/manual.pdf + if-no-files-found: error