feat(extract-libjade.sh): Refactor project root detection #26
koraaamd64-linux.yml
on: push
check-safety
1m 28s
check-sct
11s
extract-to-easycrypt
12s
compile-src
12s
test
15s
bench
21s
proof
14s