chapel-ci

proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape lemma #67

Sign in to view logs

Triggered via pull request June 2, 2026 17:22

opened #111

proofs/layer-1-0-strip-idempotence

Status Success

Total duration 19s

Artifacts –

chapel-ci.yml

on: pull_request

detect-relevant-changes

chapel-parse-check

chapel-cli-contract

chapel-multilocale

chapel-rust-diff