Removed SMT call from inversion proof #68
Triggered via pull request
October 8, 2024 17:28
JoaoDiogoDuarte
Status
Success
Total duration
2h 35m 14s
Artifacts
1
amd64-linux.yml
on: pull_request
check-safety
1m 45s
check-sct
13s
extract-to-easycrypt
21s
compile-src
16s
test
26s
bench
24s
proof
2m 10s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
formosa-25519-proofs
Expired
|
46.3 KB |
|