From 813353832239d8d85e47c37887f07491c93c2b0f Mon Sep 17 00:00:00 2001 From: Max Horn Date: Thu, 14 Mar 2024 16:50:24 +0100 Subject: [PATCH] Update CI --- .github/workflows/CI.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 919f109..7c91881 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -37,7 +37,7 @@ jobs: - uses: gap-actions/build-pkg-docs@v1 - uses: gap-actions/run-pkg-tests@v2 - uses: gap-actions/process-coverage@v2 - - uses: codecov/codecov-action@v3 + - uses: codecov/codecov-action@v4 # The documentation job manual: @@ -51,7 +51,7 @@ jobs: with: use-latex: 'true' - name: 'Upload documentation' - uses: actions/upload-artifact@v3 + uses: actions/upload-artifact@v4 with: name: manual path: ./doc/manual.pdf