Loop Contracts Annotation for While-Loop #8138
Triggered via pull request
September 20, 2024 16:33
qinheping
Status
Success
Total duration
2m 11s
Artifacts
–
format-check.yml
on: pull_request
format-check
6s
clippy-check
2m 2s