Repository navigation
fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping #890
hyperpolymathcoverage.yml
on: pull_request
Line coverage (cargo-llvm-cov)
2m 59s
Annotations
1 notice
|
Line coverage (cargo-llvm-cov)
"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"
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
coverage-lcov
|
144 KB |
sha256:6ed718fd168b3d53740fcdd72be4e36909b71ba06789f95b8a8288dbc23171cc
|
|