Unify Coq CI into a single .yml file #4253

Job	Run time
alpine-edge	6h 0m 7s
archlinux	1h 37m 41s
debian-sid	1h 58m 37s
docker-master	47s
windows	2h 16m 13s
macos	2h 10m 54s
validate-docker-master	0s
build-wasm-of-ocaml	0s
build-js-of-ocaml	0s
generated-files	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
	14h 4m 20s

Provide feedback