Fiat Cryptography v0.1.2 #405

Job	Run time
docker-master	1h 40m 2s
publish-standalone-dry-run	18s
test-standalone (master, dev, default)	1m 2s
build-js-of-ocaml (master, 4.11.1)	14m 12s
build-wasm-of-ocaml (master, 4.14.1)	12m 43s
generated-files (master)	38s
standalone-haskell (master)	54m 42s
test-amd64	2h 19m 28s
validate-docker-master	34m 20s
deploy-js-wasm-of-ocaml	33s
docker-check-all	7s
	5h 58m 5s

Provide feedback