Optimization of proof #40
Triggered via pull request
September 27, 2024 17:21
JoaoDiogoDuarte
Status
Failure
Total duration
5m 52s
Artifacts
–
amd64-linux.yml
on: pull_request
check-safety
1m 35s
check-sct
9s
extract-to-easycrypt
9s
compile-src
12s
test
19s
bench
25s
proof
1m 27s
Annotations
1 error
|
proof
Process completed with exit code 2.
|