I was following the instructions to run Kani on the verify-rust-std project, and everytime I execute the command the entire project gets rebuilt, even when there are no changes to the code. Ideally, if no code changes were made, only the model checker should run.

Seems to be the same behaviour as described in #895, but that should have been fixed by #2232, so I'm not sure if this is specific to just verify-std or a more general issue.