Skip to content
chapel-ci

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

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 #103

Run time

Learn about OS pricing on GitHub Actions
Job Run time
detect-relevant-changes
5s
chapel-multilocale
0s
chapel-parse-check
0s
chapel-cli-contract
0s
chapel-ci-gate
3s
chapel-build
0s
chapel-rust-diff
0s
chapel-e2e
0s
chapel-smoke
0s
8s