Skip to content
CI

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

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

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

ci.yml

on: pull_request
Idris2 core tests
7m 8s
Idris2 core tests
Fit to window
Zoom out
Zoom in

Annotations

1 notice
Idris2 core tests
"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"