Skip to content

Commit a361822

Browse files
fingolfinfingolfin
committed
Update CI workflow
1 parent 7e22074 commit a361822

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

‎.github/workflows/CI.yml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -26,6 +26,7 @@ jobs:
2626
matrix:
2727
gap-branch:
2828
- master
29+
- stable-4.16
2930
- stable-4.15
3031
- stable-4.14
3132
- stable-4.13

0 commit comments

Comments
 (0)