CI (Coq, docker, dev) #388

Job	Run time
docker-master	1h 39m 16s
publish-standalone-dry-run	16s
test-standalone (master, dev, default)	56s
validate-docker-master	7m 18s
build-js-of-ocaml (master, 4.11.1)	13m 59s
build-wasm-of-ocaml (master, 4.14.1)	13m 19s
generated-files (master)	1m 28s
standalone-haskell (master)	54m 24s
test-amd64	2h 22m 7s
deploy-js-wasm-of-ocaml	1m 4s
docker-check-all	4s
	5h 34m 11s

Provide feedback