Skip to content
CI (Coq, docker, dev)

implement and prove Curve25519 scalar clamping (#1845) #426

Sign in to view logs

implement and prove Curve25519 scalar clamping (#1845)

implement and prove Curve25519 scalar clamping (#1845) #426

Run time

Learn about OS pricing on GitHub Actions
Job Run time
docker-master
1h 39m 27s
publish-standalone-dry-run
19s
test-standalone (master, dev, default)
1m 9s
build-js-of-ocaml (master, 4.11.1)
14m 13s
build-wasm-of-ocaml (master, 4.14.1)
12m 36s
generated-files (master)
39s
validate-docker-master
24m 4s
test-amd64
2h 20m 2s
standalone-haskell (master)
54m 53s
deploy-js-wasm-of-ocaml
44s
docker-check-all
6s
5h 48m 12s