Skip to content
Kani Format Check

Instrument validity checks for pointer to reference casts for slices … #519

Sign in to view logs

Instrument validity checks for pointer to reference casts for slices …

Instrument validity checks for pointer to reference casts for slices … #519

Run time

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