Merge pull request #13 from formosa-crypto/benchmarks #25
tfaoliveira-sbamd64-linux.yml
on: push
check-safety
1m 34s
check-sct
18s
extract-to-easycrypt
15s
compile-src
22s
test
18s
bench
31s
proof
15s