Skip to content
Code Coverage

fix(abi): repair the Idris2 proofs and record proof status against the policy #883

Sign in to view logs

fix(abi): repair the Idris2 proofs and record proof status against the policy

fix(abi): repair the Idris2 proofs and record proof status against the policy #883

Triggered via pull request November 9, 2026 15:42
@hyperpolymathhyperpolymath
synchronize #277
claude/proof-status-reconcile
Status Success
Total duration 41m 24s
Artifacts 1

coverage.yml

on: pull_request
Line coverage (cargo-llvm-cov)
3m 15s
Line coverage (cargo-llvm-cov)
Fit to window
Zoom out
Zoom in

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:732fad932f1152f2cc1c69fe6d78decc53d4a6e5f8a9b6927408a35205920996