CI (Coq, docker, dev) #767

Job	Run time
docker-master	1h 30m 21s
publish-standalone-dry-run	28s
test-standalone (master, dev, default)	1m 27s
build-wasm-of-ocaml (master, 4.14.1)	20m 23s
generated-files (master)	34s
validate-docker-master	22m 24s
build-js-of-ocaml (master, 4.11.1)	9m 19s
standalone-haskell (master)	45m 12s
test-amd64	2h 16m 53s
deploy-js-wasm-of-ocaml	1m 18s
docker-check-all	1s
	5h 28m 20s

Provide feedback