Merge pull request #28 from formosa-crypto/remove-smt-operations-file #69
tfaoliveira-sbamd64-linux.yml
on: push
check-safety
1m 37s
check-sct
14s
extract-to-easycrypt
14s
compile-src
15s
test
19s
bench
27s
proof
2m 9s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
formosa-25519-proofs
|
46.3 KB |
|