Repository navigation

chapel-ci

feat(assail): line-anchor Lean/Isabelle sorry findings so inline markers apply #570

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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