adapt to coq/coq#18563 #366

Job	Run time
docker-master	1h 38m 27s
publish-standalone-dry-run	17s
test-standalone (master, dev, default)	51s
build-js-of-ocaml (master, 4.11.1)	16m 44s
validate-docker-master	1m 40s
build-wasm-of-ocaml (master, 4.14.1)	13m 15s
generated-files (master)	24m 32s
standalone-haskell (master)	53m 31s
test-amd64	2h 17m 51s
deploy-js-wasm-of-ocaml	43s
docker-check-all	8s
	5h 47m 59s

Provide feedback