Merge pull request #29 from formosa-crypto/better-proof-readme #71
tfaoliveiraamd64-linux.yml
on: push
check-safety
1m 36s
check-sct
11s
extract-to-easycrypt
11s
compile-src
12s
test
17s
bench
22s
proof
2m 5s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
formosa-25519-proofs
|
46.2 KB |
|