CI (Coq, docker, dev) #749

Job	Run time
docker-master	1h 31m 16s
publish-standalone-dry-run	16s
test-standalone (master, dev, default)	1m 29s
build-js-of-ocaml (master, 4.11.1)	12m 32s
build-wasm-of-ocaml (master, 4.14.1)	16m 46s
generated-files (master)	49s
standalone-haskell (master)	45m 24s
test-amd64	2h 16m 18s
validate-docker-master	22m 14s
deploy-js-wasm-of-ocaml	32s
docker-check-all	2s
	5h 27m 38s

Provide feedback