Merge pull request #27 from formosa-crypto/artifact #66
tfaoliveira-sbamd64-linux.yml
on: push
check-safety
1m 39s
check-sct
15s
extract-to-easycrypt
13s
compile-src
12s
test
17s
bench
31s
proof
1m 50s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
formosa-25519-proofs
|
46.3 KB |
|