Skip to content

Commit 9591945

Browse files
committed
TEMP: add a CI job running against the update-pluralization GAP branch
1 parent a1604e8 commit 9591945

File tree

1 file changed

+8
-0
lines changed

1 file changed

+8
-0
lines changed

.github/workflows/ubuntu.yml

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -30,6 +30,7 @@ jobs:
3030
- v4.14
3131
- v4.13
3232
- v4.12
33+
- further-pluralization
3334
mode:
3435
- onlyneeded
3536
- default
@@ -51,9 +52,16 @@ jobs:
5152
- name: Output g++ version . . .
5253
run: g++ --version
5354
- name: "Install GAP . . ."
55+
if: ${{ matrix.gap-version != 'further-pluralization' }}
5456
uses: gap-actions/setup-gap@v3
5557
with:
5658
gap-version: ${{ matrix.gap-version }}
59+
- name: "Install GAP . . ."
60+
if: ${{ matrix.gap-version == 'further-pluralization' }}
61+
uses: gap-actions/setup-gap@v3
62+
with:
63+
gap-version: ${{ matrix.gap-version }}
64+
repository: wilfwilson/gap
5765
- name: "Build Digraphs . . ."
5866
uses: gap-actions/build-pkg@v2
5967
- name: "Clone additional GAP packages . . ."

0 commit comments

Comments
 (0)