Skip to content
chapel-ci

test(aggregate): ideal Idris2 proof fixture + end-to-end fold test (#… #106

Sign in to view logs

test(aggregate): ideal Idris2 proof fixture + end-to-end fold test (#…

test(aggregate): ideal Idris2 proof fixture + end-to-end fold test (#… #106

Triggered via push June 24, 2026 11:29
@hyperpolymathhyperpolymath
pushed 826d541
main
Status Success
Total duration 17s
Artifacts –

chapel-ci.yml

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