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

Run time

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