WithFC elab #995

Job	Run time
initialise	4s
quick-check	6m 13s
ubuntu-bootstrap-chez	7m 9s
windows-bootstrap-chez	22m 50s
macos-bootstrap-chez	6m 38s
nix-bootstrap-chez	20m 2s
ubuntu-bootstrap-racket	12m 7s
ubuntu-self-host-previous-version	10m 50s
macos-self-host-chez	13m 53s
ubuntu-build-api	4m 4s
ubuntu-self-host-chez	10m 44s
ub-pack-test-pack	0s
ub-test-elab-util	0s
ub-test-collie	0s
ub-test-frex	0s
ub-pack-test-lsp	0s
ub-test-katla-and-html	0s
ubuntu-self-host-racket	0s
windows-self-host-racket	0s
	1h 54m 34s

Provide feedback