jlog: add group and file cat to logs #52
tfaoliveira-sbamd64-linux.yml
on: pull_request
check-safety
1m 41s
check-sct
12s
extract-to-easycrypt
12s
compile-src
13s
test
15s
bench
30s
proof
2m 8s