diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index d62eced..f182657 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -31,7 +31,7 @@ jobs: ABI: 32 steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v4 - uses: gap-actions/setup-gap@v2 with: GAPBRANCH: ${{ matrix.gap-branch }} @@ -39,7 +39,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: @@ -47,13 +47,14 @@ jobs: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v4 - uses: gap-actions/setup-gap@v2 - uses: gap-actions/build-pkg-docs@v1 with: use-latex: 'true' - name: 'Upload documentation' - uses: actions/upload-artifact@v2 + uses: actions/upload-artifact@v4 with: name: manual path: ./doc/manual.pdf + if-no-files-found: error