bump rupicola (requires Coq >= 8.18) (#1818) #377

Job	Run time
docker-master	1h 37m 51s
publish-standalone-dry-run	18s
test-standalone (master, dev, default)	53s
validate-docker-master	32m 57s
standalone-haskell (master)	52m 54s
build-js-of-ocaml (master, 4.11.1)	17m 56s
generated-files (master)	41s
build-wasm-of-ocaml (master, 4.14.1)	13m 14s
test-amd64	2h 16m 10s
deploy-js-wasm-of-ocaml	2m 35s
docker-check-all	6s
	5h 55m 35s

Provide feedback