Refined/Signed Barrett Reduction (#2013) #807

Job	Run time
docker-master	1h 28m 44s
test-standalone (master, dev, default)	1m 23s
publish-standalone-dry-run	13s
build-wasm-of-ocaml (master, 4.14.1)	17m 11s
build-js-of-ocaml (master, 4.11.1)	5m 53s
validate-docker-master	21m 31s
generated-files (master)	52s
standalone-haskell (master)	46m 50s
test-amd64	2h 16m 0s
deploy-js-wasm-of-ocaml	32s
docker-check-all	1s
	5h 19m 10s

Provide feedback