chapel-ci

proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape l… #69

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
detect-relevant-changes	5s
chapel-multilocale	-1s
chapel-cli-contract	-1s
chapel-parse-check	-1s
chapel-build	0s
chapel-ci-gate	4s
chapel-rust-diff	0s
chapel-smoke	0s
chapel-e2e	0s
	6s