Skip to content
CI

Merge pull request #141 from gap-packages/compile-more #213

Sign in to view logs

Merge pull request #141 from gap-packages/compile-more

Merge pull request #141 from gap-packages/compile-more #213

Triggered via push February 4, 2025 14:51
@mtorpeymtorpey
pushed 0ea6cab
master
Status Success
Total duration 5m 42s
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
97.3 KB