Revert "Ignore derivative in Cargo deny"#3712

qinheping merged 2 commits intomainmodel-checking/kani:mainfrom

revert-3708-cargo-denymodel-checking/kani:revert-3708-cargo-denyCopy head branch name to clipboard