Merge pull request #3267 from stefan-hoeck/fin0 #608

Job	Run time
initialise	6s
quick-check	5m 45s
ubuntu-bootstrap-chez	7m 12s
nix-bootstrap-chez	19m 18s
ubuntu-bootstrap-racket	13m 18s
ubuntu-self-host-previous-version	11m 15s
macos-bootstrap-chez	11m 26s
windows-bootstrap-chez	22m 4s
ubuntu-self-host-chez	11m 56s
ubuntu-build-api	4m 10s
ub-test-frex	1m 31s
ub-test-elab-util	42s
ub-test-collie	22s
ub-pack-test-lsp	14m 34s
ub-pack-test-pack	12m 1s
ub-test-katla-and-html	6m 9s
macos-self-host-chez	37m 25s
ubuntu-self-host-racket	0s
windows-self-host-racket	12m 36s
	3h 11m 50s

Provide feedback