Skip to content
CI

Merge branch 'master' of https://github.com/gap-packages/xmodalg #50

Sign in to view logs

Merge branch 'master' of https://github.com/gap-packages/xmodalg

Merge branch 'master' of https://github.com/gap-packages/xmodalg #50

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build manuals
2m 10s
master
1m 46s
stable-4.14
1m 47s
stable-4.13
1m 46s
stable-4.12
1m 52s
stable-4.11
1m 7s
10m 28s