workflow: proof: switch to runtest #64
tfaoliveira-sbamd64-linux.yml
on: push
check-safety
1m 39s
check-sct
16s
extract-to-easycrypt
10s
compile-src
13s
test
18s
bench
25s
proof
2m 6s