Skip to content
CI

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

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

Triggered via pull request July 11, 2026 07:52
@fingolfinfingolfin
synchronize #54
codex/update-ci
Status Failure
Total duration 2m 27s
Artifacts –

CI.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

3 errors
minimal
Process completed with exit code 1.
latest
Process completed with exit code 1.
devel
Process completed with exit code 1.