Skip to content

proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape l… #69

proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape l…

proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape l… #69

Triggered via push June 2, 2026 17:26
Status Success
Total duration 44s
Artifacts

chapel-ci.yml

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