chapel-ci

proofs(Layer 1.0): close slash-slash inductive case via mutual recursion (#113) #73

Sign in to view logs

Triggered via pull request June 2, 2026 19:12

opened #119

proofs/layer-1-0-slash-slash-closure

Status Success

Total duration 22s

Artifacts –

chapel-ci.yml

on: pull_request

detect-relevant-changes

chapel-parse-check

chapel-cli-contract

chapel-multilocale

chapel-rust-diff