jlog: add group and file cat to logs #49
tfaoliveira-sbamd64-linux.yml
on: pull_request
check-safety
1m 35s
check-sct
15s
extract-to-easycrypt
15s
compile-src
17s
test
20s
bench
27s
proof
2m 7s