jpp slim (no perl deps to preprocess); CI switched to preprocessed fi… #56
tfaoliveira-sbamd64-linux.yml
on: pull_request
check-safety
1m 39s
check-sct
15s
extract-to-easycrypt
11s
compile-src
13s
test
23s
bench
26s
proof
1m 51s