Skip to content
CI

Release CI: workaround issue in GAP 4.14.0 by building against GAP.dev #56

Sign in to view logs

Release CI: workaround issue in GAP 4.14.0 by building against GAP.dev

Release CI: workaround issue in GAP 4.14.0 by building against GAP.dev #56

Triggered via push September 23, 2025 21:38
@fingolfinfingolfin
pushed d963991
master
Status Success
Total duration 5m 54s
Artifacts 2

CI.yml

on: push
Build manuals
5m 51s
Build manuals
Matrix: test
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
sonata-manuals-html Expired
74.8 KB
sha256:50264836ef37d6ba9da969f0363cf3d4defa6adc3b84c4b499fe70b6a1475bc8
sonata-manuals-pdf Expired
602 KB
sha256:d20c6351c0fd2a50daaedf218c2d3575715dfe3553e38982741fda7c4c5d8ed9