feat(extract-libjade.sh): Return exit code 0 if script was successful #23
koraaamd64-linux.yml
on: push
check-safety
1m 37s
check-sct
22s
extract-to-easycrypt
20s
compile-src
17s
test
18s
bench
1m 3s
proof
15s