Skip to content
Kani Format Check

[Boogie Backend] Add instructions on how to use the Boogie backend to… #368

Sign in to view logs

[Boogie Backend] Add instructions on how to use the Boogie backend to…

[Boogie Backend] Add instructions on how to use the Boogie backend to… #368

Run time

Learn about OS pricing on GitHub Actions
Job Run time
clippy-check
1m 45s
format-check
4s
1m 49s