EasyCrypt Proofs - C. PR17 #36
Triggered via pull request
September 27, 2024 16:06
tfaoliveira-sb
Status
Success
Total duration
4m 15s
Artifacts
–
amd64-linux.yml
on: pull_request
check-safety
1m 46s
check-sct
10s
extract-to-easycrypt
10s
compile-src
14s
test
18s
bench
24s
proof
3m 44s