Skip to content

Update CI to use setup-gap@v3 #15

Update CI to use setup-gap@v3

Update CI to use setup-gap@v3 #15

Triggered via pull request July 10, 2026 11:16
Status Success
Total duration 7m 48s
Artifacts 1

docs.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
manual.pdf
167 KB
sha256:a826f18da482334743b26fd94785d11a82b70530d49b8f22b5320b2c2102797c