Skip to content
Docs

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

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

Triggered via pull request July 11, 2026 07:52
@fingolfinfingolfin
synchronize #54
codex/update-ci
Status Success
Total duration 1m 58s
Artifacts 1

docs.yml

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

Artifacts

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