Ignore derivative in Cargo deny - #3708

Ignore derivative in Cargo deny#3708

qinheping merged 1 commit into

model-checking:mainmodel-checking/kani:mainfrom

qinheping:cargo-denyqinheping/kani:cargo-denyCopy head branch name to clipboard