divzU re-added and removed lingering W64limbs reference #42
tfaoliveira-sbamd64-linux.yml
on: push
check-safety
1m 37s
check-sct
9s
extract-to-easycrypt
9s
compile-src
12s
test
23s
bench
22s
proof
2m 26s