Skip to content
CI

Don't attempt to read gap/utils.{gi,gd} #37

Sign in to view logs

Don't attempt to read gap/utils.{gi,gd}

Don't attempt to read gap/utils.{gi,gd} #37

Triggered via push June 25, 2024 13:38
@fingolfinfingolfin
pushed 6e49019
master
Status Success
Total duration 3m 20s
Artifacts 1

CI.yml

on: push
Build manuals
1m 26s
Build manuals
Matrix: test
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
manual
131 KB