Skip to content
Kani Format Check

Remove files, update expected and remove unnecessary attributes #290

Sign in to view logs

Remove files, update expected and remove unnecessary attributes

Remove files, update expected and remove unnecessary attributes #290

Run time

Learn about OS pricing on GitHub Actions
Job Run time
format-check
7s
clippy-check
3m 3s
3m 10s