Skip to content
chapel-ci

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

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

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

chapel-ci.yml

on: pull_request
detect-relevant-changes
4s
detect-relevant-changes
chapel-parse-check
chapel-parse-check
chapel-cli-contract
chapel-cli-contract
chapel-multilocale
0s
chapel-multilocale
chapel-build
chapel-build
chapel-smoke
chapel-smoke
chapel-e2e
chapel-e2e
chapel-rust-diff
chapel-rust-diff
chapel-ci-gate
4s
chapel-ci-gate
Fit to window
Zoom out
Zoom in