diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index fe4f9a0..1d6873f 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -26,11 +26,12 @@ jobs: matrix: gap-branch: - master + - stable-4.13 - stable-4.12 - stable-4.11 steps: - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 - name: 'Install additional dependencies' run: | sudo apt-get update @@ -50,6 +51,9 @@ jobs: GAPBRANCH: ${{ matrix.gap-branch }} - uses: gap-actions/build-pkg@v1 - uses: gap-actions/run-pkg-tests@v2 + - uses: gap-actions/run-pkg-tests@v2 + with: + only-needed: true - uses: gap-actions/process-coverage@v2 - uses: codecov/codecov-action@v3 @@ -59,7 +63,7 @@ jobs: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 - uses: gap-actions/setup-gap@v2 with: GAP_PKGS_TO_BUILD: "io profiling json" @@ -67,7 +71,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