Skip to content
Back to pull request #3054

Add option to override --crate-name from kani #6241

Sign in to view logs

Add option to override --crate-name from kani

Add option to override --crate-name from kani #6241

regression (macos-13)

regression (macos-13)
succeeded Mar 8, 2024 in 25m 48s