Optimization of proof #41
Triggered via pull request
September 27, 2024 17:37
JoaoDiogoDuarte
Status
Success
Total duration
2m 58s
Artifacts
–
amd64-linux.yml
on: pull_request
check-safety
1m 41s
check-sct
10s
extract-to-easycrypt
11s
compile-src
11s
test
24s
bench
24s
proof
2m 24s