Skip to content
Kani Format Check

Implement proper function pointer handling for validity checks #8478

Sign in to view logs

Implement proper function pointer handling for validity checks

Implement proper function pointer handling for validity checks #8478

Run time

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