Skip to content
Agda

fix(agda): resolve the two unsolved metas in EchoHaplotypeCollapsing (#329) #955

Sign in to view logs

fix(agda): resolve the two unsolved metas in EchoHaplotypeCollapsing (#329)

fix(agda): resolve the two unsolved metas in EchoHaplotypeCollapsing (#329) #955

Triggered via pull request September 30, 2026 11:00
@hyperpolymathhyperpolymath
opened #331
fix/329-haplotype-collapsing-metas
Status Success
Total duration 12m 6s
Artifacts –

agda.yml

on: pull_request
check
2m 15s
check
cold-check
12m 2s
cold-check
Fit to window
Zoom out
Zoom in

Annotations

2 notices
check
"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"
cold-check
"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"