fix logs printing in CI + dockerfile updates #54
tfaoliveira-sbamd64-linux.yml
on: pull_request
check-safety
1m 27s
check-sct
11s
extract-to-easycrypt
10s
compile-src
12s
test
14s
bench
25s
proof
1m 54s