Skip to content
chapel-ci

fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping #566

Sign in to view logs

fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping

fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping #566

Triggered via pull request November 9, 2026 22:49
@hyperpolymathhyperpolymath
synchronize #281
claude/gallant-bell-4bo4oy-n-idris-abi-ci
Status Success
Total duration 25s
Artifacts –

chapel-ci.yml

on: pull_request
detect-relevant-changes
6s
detect-relevant-changes
chapel-parse-check
chapel-parse-check
chapel-cli-contract
0s
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