Further proof optimization #43
Triggered via pull request
September 30, 2024 18:53
JoaoDiogoDuarte
Status
Failure
Total duration
29m 31s
Artifacts
–
amd64-linux.yml
on: pull_request
check-safety
1m 43s
check-sct
11s
extract-to-easycrypt
11s
compile-src
15s
test
15s
bench
26s
proof
2m 23s
Annotations
1 error
|
proof
Process completed with exit code 2.
|