CI (Coq, docker, dev) #820

Job	Run time
docker-master	1h 29m 5s
publish-standalone-dry-run	13s
test-standalone (master, dev, default)	1m 23s
build-wasm-of-ocaml (master, 4.14.1)	16m 22s
build-js-of-ocaml (master, 4.11.1)	5m 35s
generated-files (master)	51s
standalone-haskell (master)	1h 3m 33s
test-amd64	2h 15m 29s
validate-docker-master	21m 38s
deploy-js-wasm-of-ocaml	1m 3s
docker-check-all	1s
	5h 35m 13s

Provide feedback