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