Skip to content
Back to pull request #3045

[hermes] Warn on #[cfg_attr(..., path = "...")] #9732

Sign in to view logs

[hermes] Warn on #[cfg_attr(..., path = "...")]

[hermes] Warn on #[cfg_attr(..., path = "...")] #9732

Run tests under Kani

Run tests under Kani
succeeded Feb 12, 2026 in 9m 8s