Back to pull request #997

chore: Rename ci-tools to ci_tools. #573

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docker-haskell	57s
docker-third_party	26s
docker	3m 49s
docker-fastbuild	6m 0s
docker-built (release)	8m 42s
docker-built (debug)	4m 18s
docker-built (asan)	4m 0s
docker-built (msan)	3m 32s
docker-built (tsan)	3m 54s
docker-built (arm64)	5m 58s
docker-built (windows)	4m 30s
docker-dev	9m 2s
	55m 8s