Unify Coq CI into a single .yml file #4254

Job	Run time
alpine-edge	47m 51s
archlinux	1h 43m 25s
debian-sid	2h 1m 46s
docker-master	53s
macos	2h 36m 16s
windows	2h 17m 22s
build-js-of-ocaml	0s
build-wasm-of-ocaml	0s
generated-files	0s
validate-docker-master	0s
publish-standalone	0s
standalone-haskell	0s
test-amd64	0s
test-standalone-${{ matrix.source-name }}-on-${{ matrix.os.name }}-${{ matrix.os.container.name }}	0s
deploy-js-wasm-of-ocaml	0s
check-all	1s
	9h 27m 34s

Provide feedback