Skip to content
CI

Merge branch 'master' of https://github.com/gap-packages/numericalsgps #102

Sign in to view logs

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

Merge branch 'master' of https://github.com/gap-packages/numericalsgps #102

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build manuals
2m 19s
master
2m 11s
stable-4.12
1m 55s
6m 25s