Skip to content
Kani Format Check

Silence warnings about mutable reference to mutable static #440

Sign in to view logs

Silence warnings about mutable reference to mutable static

Silence warnings about mutable reference to mutable static #440

Run time

Learn about OS pricing on GitHub Actions
Job Run time
format-check
5s
clippy-check
3m 25s
3m 30s