Skip to content

Commit 703bcc2

Browse files
fingolfinolexandr-konovalov
authored andcommitted
Update CI to use setup-gap@v3
1 parent 83f737d commit 703bcc2

1 file changed

Lines changed: 14 additions & 18 deletions

File tree

.github/workflows/CI.yml

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

3732
steps:
3833
- uses: actions/checkout@v6
3934
- name: 'Install initial dependencies'
4035
run: |
4136
sudo apt-get install libzmq3-dev
42-
- uses: gap-actions/setup-gap@v2
37+
- uses: gap-actions/setup-gap@v3
4338
with:
44-
GAP_PKGS_TO_BUILD: "io profiling crypting json ZeroMQInterface"
45-
GAPBRANCH: ${{ matrix.gap-branch }}
46-
- uses: gap-actions/build-pkg@v1
47-
- uses: gap-actions/run-pkg-tests@v3
48-
- uses: gap-actions/run-pkg-tests@v3
39+
gap-version: ${{ matrix.gap-version }}
40+
- uses: gap-actions/build-pkg@v3
4941
with:
50-
only-needed: true
51-
- uses: gap-actions/process-coverage@v2
42+
extra-pkgs: "io profiling crypting json ZeroMQInterface"
43+
- uses: gap-actions/run-pkg-tests@v4
44+
- uses: gap-actions/run-pkg-tests@v4
45+
with:
46+
mode: onlyneeded
47+
- uses: gap-actions/process-coverage@v3
5248
- uses: codecov/codecov-action@v6
5349
with:
5450
token: ${{ secrets.CODECOV_TOKEN }}

0 commit comments

Comments
 (0)