adapt to coq/coq#18730 #386

Job	Run time
docker-master	1h 39m 15s
publish-standalone-dry-run	13s
test-standalone (master, dev, default)	55s
validate-docker-master	1m 38s
build-js-of-ocaml (master, 4.11.1)	17m 55s
generated-files (master)	27m 35s
build-wasm-of-ocaml (master, 4.14.1)	15m 48s
standalone-haskell (master)	55m 19s
test-amd64	2h 20m 41s
deploy-js-wasm-of-ocaml	53s
docker-check-all	2s
	6h 0m 14s

Provide feedback