Repository navigation
fix(ci): supply release-tag version to pinned Idris installer #803
hyperpolymathcoverage.yml
on: pull_request
Line coverage (cargo-llvm-cov)
2m 31s
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
|
133 KB |
sha256:524b97f02bd6ef60b3a951fb41ae2e74f99f0e04ccd51d6501aa81dae8044819
|
|