Skip to content
CI

CI: also test against GAP 4.15 #40

Sign in to view logs

CI: also test against GAP 4.15

CI: also test against GAP 4.15 #40

Triggered via push October 16, 2025 08:47
@fingolfinfingolfin
pushed 259140c
master
Status Success
Total duration 1h 16m 59s
Artifacts 1

CI.yml

on: push
Build manuals
3m 45s
Build manuals
Matrix: test
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
manual
821 KB
sha256:7be35d68c42010c4b23bb3b6addc87eaf1c7fb21c50901bcac9f9dad19479692