adapt to coq/coq#18563 (#1814) #367

Job	Run time
docker-master	1h 36m 30s
publish-standalone-dry-run	13s
test-standalone (master, dev, default)	49s
build-js-of-ocaml (master, 4.11.1)	16m 40s
validate-docker-master	33m 3s
build-wasm-of-ocaml (master, 4.14.1)	12m 34s
generated-files (master)	38s
standalone-haskell (master)	53m 53s
test-amd64	2h 17m 35s
deploy-js-wasm-of-ocaml	42s
docker-check-all	6s
	5h 52m 43s

Provide feedback