From f7400be8c2d3c577830fb6f4a1adf52a86772804 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Fri, 10 Jul 2026 12:02:01 +0200 Subject: [PATCH 1/2] Update CI to use setup-gap@v3 --- .github/workflows/CI.yml | 30 ++++++++++++++---------------- 1 file changed, 14 insertions(+), 16 deletions(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 0ef8d73..d35da12 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -20,18 +20,15 @@ concurrency: jobs: # The CI test job test: - name: ${{ matrix.gap-branch }} + name: ${{ matrix.gap-version }} runs-on: ubuntu-latest strategy: fail-fast: false matrix: - gap-branch: - - master - - stable-4.16 - - stable-4.15 - - stable-4.14 - - stable-4.13 - - stable-4.12 + gap-version: + - 'devel' # current GAP development version from git + - 'latest' # latest GAP release + - 'minimal' # oldest GAP release supported by this package steps: - uses: actions/checkout@v6 @@ -48,16 +45,17 @@ jobs: libcurl4-openssl-dev ) sudo apt-get install "${packages[@]}" - - uses: gap-actions/setup-gap@v2 + - uses: gap-actions/setup-gap@v3 with: - GAP_PKGS_TO_BUILD: "io profiling json curlInterface" - GAPBRANCH: ${{ matrix.gap-branch }} - - uses: gap-actions/build-pkg@v1 - - uses: gap-actions/run-pkg-tests@v3 - - uses: gap-actions/run-pkg-tests@v3 + gap-version: ${{ matrix.gap-version }} + - uses: gap-actions/build-pkg@v3 with: - only-needed: true - - uses: gap-actions/process-coverage@v2 + extra-pkgs: "io profiling json curlInterface" + - uses: gap-actions/run-pkg-tests@v4 + - uses: gap-actions/run-pkg-tests@v4 + with: + mode: onlyneeded + - uses: gap-actions/process-coverage@v3 - uses: codecov/codecov-action@v6 with: token: ${{ secrets.CODECOV_TOKEN }} From 44d712792d1f0ec79cac13fbc7452227ec7fc24f Mon Sep 17 00:00:00 2001 From: Max Horn Date: Sat, 11 Jul 2026 11:25:19 +0200 Subject: [PATCH 2/2] simplify --- .github/workflows/CI.yml | 2 -- 1 file changed, 2 deletions(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index d35da12..6fdcbaf 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -49,8 +49,6 @@ jobs: with: gap-version: ${{ matrix.gap-version }} - uses: gap-actions/build-pkg@v3 - with: - extra-pkgs: "io profiling json curlInterface" - uses: gap-actions/run-pkg-tests@v4 - uses: gap-actions/run-pkg-tests@v4 with: