Skip to content
Docs

Update CI to use setup-gap@v3, add missing dependencies #13

Sign in to view logs

Update CI to use setup-gap@v3, add missing dependencies

Update CI to use setup-gap@v3, add missing dependencies #13

Triggered via pull request July 15, 2026 21:54
@fingolfinfingolfin
synchronize #54
codex/update-ci
Status Success
Total duration 2m 6s
Artifacts 1

docs.yml

on: pull_request
Build manuals
2m 3s
Build manuals
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
manual.pdf
146 KB
sha256:1fe1bfd8d3c957525719d4a9aaec9e980f4eac08d1de0d1c83a57c00cb1f680a