Merge pull request #24 from formosa-crypto/no_dep_preprocessing #57
tfaoliveira-sbamd64-linux.yml
on: push
check-safety
1m 35s
check-sct
19s
extract-to-easycrypt
11s
compile-src
13s
test
20s
bench
25s
proof
1m 50s