Skip to content
Docs

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

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 #9

Triggered via pull request July 10, 2026 11:15
@fingolfinfingolfin
opened #54
codex/update-ci
Status Success
Total duration 5m 38s
Artifacts 1

docs.yml

on: pull_request
Build manuals
1m 56s
Build manuals
Fit to window
Zoom out
Zoom in

Artifacts

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