Merge pull request #1953 from andres-erbsen/weier2 #33

Job	Run time
docker-master	1h 24m 44s
publish-standalone-dry-run	14s
test-standalone (master, dev, default)	1m 27s
build-js-of-ocaml (master, 4.11.1)	13m 5s
generated-files (master)	48s
validate-docker-master	21m 7s
build-wasm-of-ocaml (master, 4.14.1)	2h 41m 2s
standalone-haskell (master)	45m 38s
test-amd64	2h 14m 24s
deploy-js-wasm-of-ocaml	30s
docker-check-all	2s
	7h 43m 1s

Provide feedback