[ new ] Quantity for proof in with-clauses (#3415) #1101

Job	Run time
initialise	4s
quick-check	5m 23s
macos-bootstrap-chez	8m 29s
nix-bootstrap-chez	19m 27s
ubuntu-bootstrap-chez	6m 50s
ubuntu-self-host-previous-version	11m 55s
ubuntu-bootstrap-racket	13m 6s
windows-bootstrap-chez	24m 36s
ubuntu-self-host-chez	13m 9s
ubuntu-build-api	9m 24s
macos-self-host-chez	14m 32s
ub-test-collie	1m 25s
ub-test-frex	3m 41s
ub-test-elab-util	1m 36s
ub-pack-test-lsp	15m 6s
ub-pack-test-pack	12m 9s
ub-test-katla-and-html	8m 11s
ubuntu-self-host-racket	0s
windows-self-host-racket	13m 1s
	3h 2m 4s

Provide feedback