Unify Coq CI into a single .yml file #4252

Job	Run time
alpine-edge	13m 5s
docker-master	41s
archlinux	11m 55s
debian-sid	12m 51s
macos	13m 26s
windows	8s
build-wasm-of-ocaml	0s
generated-files	0s
standalone-haskell	0s
test-amd64	0s
validate-docker-master	0s
build-js-of-ocaml	0s
publish-standalone	0s
test-standalone-${{ matrix.source-name }}-on-${{ matrix.os.name }}-${{ matrix.os.container.name }}	0s
deploy-js-wasm-of-ocaml	0s
check-all	1s
	52m 7s

Provide feedback