From 535a7ac8439aa452c346f80761e824db59f13e6a Mon Sep 17 00:00:00 2001 From: Max Horn Date: Mon, 1 Sep 2025 09:18:16 +0200 Subject: [PATCH 1/2] Build io and profiling packages if necessary Also test in multiple GAP versions, as things work rather differently in some of them, especially GAP 4.10 and 4.11. --- .github/workflows/CI.yml | 14 ++++++++++++++ action.yml | 25 +++++++++++++++++++++++++ 2 files changed, 39 insertions(+) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index af20391..d1b4296 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -12,7 +12,18 @@ env: jobs: test: + name: ${{ matrix.gap-branch }} runs-on: ubuntu-latest + strategy: + fail-fast: false + matrix: + gap-branch: + - master + - stable-4.14 + - stable-4.13 + - stable-4.12 + - stable-4.11 + - stable-4.10 steps: # the order of the checkout actions is important because all contents of @@ -26,6 +37,9 @@ jobs: with: path: this-action/ - uses: gap-actions/setup-gap@v2 + with: + GAPBRANCH: ${{ matrix.gap-branch }} + GAP_PKGS_TO_BUILD: '' - uses: gap-actions/build-pkg@v1 - uses: gap-actions/run-pkg-tests@v3 - uses: ./this-action/ diff --git a/action.yml b/action.yml index eb988f2..a43352f 100644 --- a/action.yml +++ b/action.yml @@ -4,6 +4,31 @@ description: 'Process coverage data' runs: using: "composite" steps: + - name: "Build io and profiling packages if necessary" + shell: bash + run: | + set -ex + GAPROOT=${GAPROOT-$HOME/gap} + + # the following somewhat awkward `cd` invocation ensures + # compatibility with both GAP <= 4.11 (with package dir names like + # `pkg/io-1.2.3`) and GAP >= 4.12 (where it is `pkg/ii`) + cd $GAPROOT/pkg/io || cd $GAPROOT/pkg/io-* + if [[ ! -f config.status ]] ; then + ./configure --with-gaproot=$GAPROOT + fi + make -j$(nproc) + + cd $GAPROOT/pkg/profiling || cd $GAPROOT/pkg/profiling-* + if [[ ! -f Makefile ]] ; then + if [[ -f configure.ac ]] ; then + ./configure --with-gaproot=$GAPROOT + else + ./configure $GAPROOT + fi + fi + make -j$(nproc) + - name: "Process coverage data" shell: bash run: | From dacbb41b34dd4a1ea5eb99449205642ff757b424 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Wed, 3 Sep 2025 15:53:37 +0200 Subject: [PATCH 2/2] Update action.yml Co-authored-by: stertooy <5571903+stertooy@users.noreply.github.com> --- action.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/action.yml b/action.yml index a43352f..6dece31 100644 --- a/action.yml +++ b/action.yml @@ -12,7 +12,7 @@ runs: # the following somewhat awkward `cd` invocation ensures # compatibility with both GAP <= 4.11 (with package dir names like - # `pkg/io-1.2.3`) and GAP >= 4.12 (where it is `pkg/ii`) + # `pkg/io-1.2.3`) and GAP >= 4.12 (where it is `pkg/io`) cd $GAPROOT/pkg/io || cd $GAPROOT/pkg/io-* if [[ ! -f config.status ]] ; then ./configure --with-gaproot=$GAPROOT