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

Triggered via push October 27, 2023 10:26
@pedritomelenaspedritomelenas
pushed d35c3da
master
Status Success
Total duration 2m 29s
Artifacts 1

CI.yml

on: push
Build manuals
2m 19s
Build manuals
Matrix: test
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
manual Expired
724 KB