Skip to content

Commit f7400be

Browse files
committed
Update CI to use setup-gap@v3
1 parent 18f6366 commit f7400be

1 file changed

Lines changed: 14 additions & 16 deletions

File tree

.github/workflows/CI.yml

Lines changed: 14 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -20,18 +20,15 @@ concurrency:
2020
jobs:
2121
# The CI test job
2222
test:
23-
name: ${{ matrix.gap-branch }}
23+
name: ${{ matrix.gap-version }}
2424
runs-on: ubuntu-latest
2525
strategy:
2626
fail-fast: false
2727
matrix:
28-
gap-branch:
29-
- master
30-
- stable-4.16
31-
- stable-4.15
32-
- stable-4.14
33-
- stable-4.13
34-
- stable-4.12
28+
gap-version:
29+
- 'devel' # current GAP development version from git
30+
- 'latest' # latest GAP release
31+
- 'minimal' # oldest GAP release supported by this package
3532

3633
steps:
3734
- uses: actions/checkout@v6
@@ -48,16 +45,17 @@ jobs:
4845
libcurl4-openssl-dev
4946
)
5047
sudo apt-get install "${packages[@]}"
51-
- uses: gap-actions/setup-gap@v2
48+
- uses: gap-actions/setup-gap@v3
5249
with:
53-
GAP_PKGS_TO_BUILD: "io profiling json curlInterface"
54-
GAPBRANCH: ${{ matrix.gap-branch }}
55-
- uses: gap-actions/build-pkg@v1
56-
- uses: gap-actions/run-pkg-tests@v3
57-
- uses: gap-actions/run-pkg-tests@v3
50+
gap-version: ${{ matrix.gap-version }}
51+
- uses: gap-actions/build-pkg@v3
5852
with:
59-
only-needed: true
60-
- uses: gap-actions/process-coverage@v2
53+
extra-pkgs: "io profiling json curlInterface"
54+
- uses: gap-actions/run-pkg-tests@v4
55+
- uses: gap-actions/run-pkg-tests@v4
56+
with:
57+
mode: onlyneeded
58+
- uses: gap-actions/process-coverage@v3
6159
- uses: codecov/codecov-action@v6
6260
with:
6361
token: ${{ secrets.CODECOV_TOKEN }}

0 commit comments

Comments
 (0)