artifact: for proofs #65
tfaoliveira-sbamd64-linux.yml
on: pull_request
check-safety
1m 35s
check-sct
15s
extract-to-easycrypt
11s
compile-src
13s
test
27s
bench
25s
proof
2m 3s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
formosa-25519-proofs
Expired
|
46.3 KB |
|