Merge pull request #23 from formosa-crypto/fix-ci-print #55
tfaoliveira-sbamd64-linux.yml
on: push
check-safety
1m 35s
check-sct
10s
extract-to-easycrypt
10s
compile-src
12s
test
17s
bench
29s
proof
2m 7s