Added files to allow this proof to be ran on the external CI #60
tfaoliveira-sbamd64-linux.yml
on: pull_request
check-safety
1m 52s
check-sct
14s
extract-to-easycrypt
12s
compile-src
14s
test
28s
bench
25s
proof
1m 51s
proof-runtest
1m 49s