Skip to content
Kani Format Check

Fix ICE due to mishandling of Aggregate rvalue for raw pointers to trait objects #8563

Sign in to view logs

Fix ICE due to mishandling of Aggregate rvalue for raw pointers to trait objects

Fix ICE due to mishandling of Aggregate rvalue for raw pointers to trait objects #8563

Run time

Learn about OS pricing on GitHub Actions
Job Run time
clippy-check
2m 24s
format-check
6s
2m 30s