From b739f566928c653ce1651be57b1de9db8ab5b2c1 Mon Sep 17 00:00:00 2001 From: stertooy <5571903+stertooy@users.noreply.github.com> Date: Sat, 28 Mar 2026 11:22:47 +0100 Subject: [PATCH 1/2] Update `PackageInfo.g` and CI suite --- .github/workflows/CI.yml | 39 ++++++++++++++++----------------------- PackageInfo.g | 4 ++++ 2 files changed, 20 insertions(+), 23 deletions(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index dc16124..658502f 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -19,40 +19,33 @@ concurrency: jobs: # The CI test job test: - name: ${{ matrix.gap-branch }} ${{ matrix.os }} + name: ${{ matrix.gap-version }} ${{ matrix.os }} runs-on: ${{ matrix.os }} strategy: fail-fast: false matrix: - gap-branch: - - master - - stable-4.15 - - stable-4.14 - - stable-4.13 - - stable-4.12 + gap-version: + - 'devel' + - '4.15' + - '4.14' + - '4.13' + - '4.12' os: [ubuntu-latest] include: - - gap-branch: master + - gap-version: 'devel' os: macos-latest steps: - uses: actions/checkout@v6 - - uses: gap-actions/setup-gap@v2 + - uses: gap-actions/setup-gap@v3 with: - GAPBRANCH: ${{ matrix.gap-branch }} - - name: 'Install additional dependencies' - run: | - if [ "$RUNNER_OS" == "macOS" ]; then - brew install curl - else - sudo apt-get install libcurl4-openssl-dev - fi - - 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 + - uses: gap-actions/run-pkg-tests@v4 + - uses: gap-actions/run-pkg-tests@v4 with: - only-needed: true - - uses: gap-actions/process-coverage@v2 - - uses: codecov/codecov-action@v5 + mode: onlyneeded + - uses: gap-actions/process-coverage@v3 + - uses: codecov/codecov-action@v6 with: token: ${{ secrets.CODECOV_TOKEN }} diff --git a/PackageInfo.g b/PackageInfo.g index 6fdbff6..7b9a2f8 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -108,6 +108,10 @@ Dependencies := rec( GAP := ">= 4.12", NeededOtherPackages := [ [ "GAPDoc", ">= 1.5" ] ], SuggestedOtherPackages := [ ], + NeededSystemPackages := rec( + Ubuntu := [["libcurl4-gnutls-dev"]], + Homebrew := [["curl"]] + ), ExternalConditions := [ ], ), From f4ddd1999a89ee0a7d82cbba90421164169c617b Mon Sep 17 00:00:00 2001 From: stertooy <5571903+stertooy@users.noreply.github.com> Date: Tue, 31 Mar 2026 10:55:35 +0200 Subject: [PATCH 2/2] Update PackageInfo.g Co-authored-by: Max Horn --- PackageInfo.g | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/PackageInfo.g b/PackageInfo.g index 7b9a2f8..f404be0 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -110,7 +110,7 @@ Dependencies := rec( SuggestedOtherPackages := [ ], NeededSystemPackages := rec( Ubuntu := [["libcurl4-gnutls-dev"]], - Homebrew := [["curl"]] + Homebrew := [["curl"]], ), ExternalConditions := [ ], ),