Skip to content
CI

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

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

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

CI.yml

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

Annotations

6 errors
minimal
Process completed with exit code 1.
minimal
Warnings were found when loading the package
latest
Process completed with exit code 1.
latest
Warnings were found when loading the package
devel
Process completed with exit code 1.
devel
Warnings were found when loading the package