CI (Coq, docker, dev) #634

Job	Run time
docker-master	1h 26m 1s
publish-standalone-dry-run	17s
test-standalone (master, dev, default)	1m 21s
build-js-of-ocaml (master, 4.11.1)	19m 46s
generated-files (master)	8m 43s
validate-docker-master	3m 39s
build-wasm-of-ocaml (master, 4.14.1)	2h 26m 15s
standalone-haskell (master)	45m 37s
test-amd64	2h 15m 55s
deploy-js-wasm-of-ocaml	0s
docker-check-all	3s
	7h 27m 37s

Provide feedback