Skip to content

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

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

Triggered via push September 14, 2024 16:28
Status Success
Total duration 1m 5s
Artifacts

Kani.yml

on: push
Fit to window
Zoom out
Zoom in