[CI] [alpine-edge] coq => rocq #976

Job	Run time
docker-master	1h 32m 1s
test-standalone (master, dev, default)	1m 23s
publish-standalone-dry-run	18s
build-js-of-ocaml (master, 4.11.1)	5m 48s
validate-docker-master	2m 42s
standalone-haskell (master)	49m 56s
test-amd64	2h 16m 6s
build-wasm-of-ocaml (master, 4.14.1)	18m 47s
generated-files (master)	22m 17s
deploy-js-wasm-of-ocaml	1m 19s
docker-check-all	7s
	5h 30m 44s

Provide feedback