Skip to content
Idris2 Tests

ci(hypatia): standardise the wrapper caller id to the canonical hypatia #39

Sign in to view logs

ci(hypatia): standardise the wrapper caller id to the canonical hypatia

ci(hypatia): standardise the wrapper caller id to the canonical hypatia #39

Triggered via pull request September 20, 2026 23:20
@hyperpolymathhyperpolymath
opened #14
fix/hypatia-caller-id
Status Failure
Total duration 56m 14s
Artifacts –

idris2-tests.yml

on: pull_request
test
6s
test
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 notice
test
Process completed with exit code 2.
test
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"