Merge pull request #21 from formosa-crypto/proof-optimization #47
tfaoliveira-sbamd64-linux.yml
on: push
check-safety
1m 37s
check-sct
10s
extract-to-easycrypt
10s
compile-src
15s
test
24s
bench
22s
proof
2m 4s