Skip to content
Kani CI

Move the check-cfg lint stuff from the build scritp to Cargo.toml #551

Sign in to view logs

Move the check-cfg lint stuff from the build scritp to Cargo.toml

Move the check-cfg lint stuff from the build scritp to Cargo.toml #551

run-kani

run-kani
succeeded Sep 14, 2024 in 44s