jlog: add group and file cat to logs #51
tfaoliveira-sbamd64-linux.yml
on: pull_request
check-safety
1m 36s
check-sct
12s
extract-to-easycrypt
11s
compile-src
14s
test
26s
bench
24s
proof
2m 6s