Skip to content
CI Integrity

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

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

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

ci-integrity.yml

on: pull_request
CI integrity (pins, lock, allowlist, YAML)
51s
CI integrity (pins, lock, allowlist, YAML)
Fit to window
Zoom out
Zoom in

Annotations

1 notice
CI integrity (pins, lock, allowlist, YAML)
"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
ci-integrity-native-42647334845-1
2.34 KB
sha256:b4c9f7ef554022f1b885e2b2dc783b614dfa4f4b55c38e986dce454601665bc4