Added files to allow this proof to be ran on the external CI #58
Triggered via pull request
October 4, 2024 15:02
JoaoDiogoDuarte
Status
Success
Total duration
2h 42m 22s
Artifacts
–
amd64-linux.yml
on: pull_request
check-safety
1m 33s
check-sct
11s
extract-to-easycrypt
12s
compile-src
14s
test
24s
bench
26s
proof
2m 6s