Skip to content
Kani Format Check

Mitigate invalid transmute when checking memory initialization #7123

Sign in to view logs

Mitigate invalid transmute when checking memory initialization

Mitigate invalid transmute when checking memory initialization #7123

Run time

Learn about OS pricing on GitHub Actions
Job Run time
clippy-check
2m 39s
format-check
5s
2m 44s