Unify Coq CI into a single .yml file #4251

Job	Run time
alpine-edge	1h 20m 29s
archlinux	1h 21m 50s
docker-master	41s
debian-sid	1h 21m 4s
macos	13m 25s
windows	1h 20m 16s
build-js-of-ocaml	0s
generated-files	0s
standalone-haskell	0s
build-wasm-of-ocaml	0s
test-standalone-${{ matrix.source-name }}-on-${{ matrix.os.name }}-${{ matrix.os.container.name }}	0s
validate-docker-master	0s
publish-standalone	0s
test-amd64	0s
deploy-js-wasm-of-ocaml	0s
check-all	1s
	5h 37m 46s

Provide feedback