Skip to content
Test opam package

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

Sign in to view logs

implement and prove Curve25519 scalar clamping (#1845)

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install (dev, 4.11.1, Ubuntu, ubuntu-latest)
38m 25s
install (dev, 4.11.1, macOS, macos-latest)
48m 44s
install (dev, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https://...
1h 33m 24s
install (8.19.0, 4.11.1, Ubuntu, ubuntu-latest)
38m 22s
install (8.19.0, 4.11.1, macOS, macos-latest)
52m 48s
install (8.19.0, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https...
1h 28m 43s
install (8.18.0, 4.11.1, Ubuntu, ubuntu-latest)
40m 16s
install (8.18.0, 4.11.1, macOS, macos-latest)
1h 10m 30s
install (8.18.0, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https...
1h 33m 22s
9h 24m 34s