diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index e22b208..83b2094 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -19,31 +19,29 @@ 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.15 - - stable-4.14 - - stable-4.13 - - stable-4.12 + gap-version: + - 'devel' + - '4.15' + - '4.14' + - '4.13' + - '4.12' 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: sudo apt-get install libmpfr-dev libmpfi-dev libmpc-dev - - 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 + 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 84d8e68..46f5058 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -62,6 +62,10 @@ Dependencies := rec( GAP := ">=4.12.0", NeededOtherPackages := [["GAPDoc",">=1.0"]], SuggestedOtherPackages := [], + NeededSystemPackages := rec( + Ubuntu := [["libmpc-dev"], ["libmpfi-dev"], ["libmpfr-dev"]], + Homebrew := [["libmpc"], ["mpfi"], ["mpfr"]], + ), ExternalConditions := ["GAP compiled with GMP support"] ),