[ci] Roll pinned Kani version - #3519

[ci] Roll pinned Kani version#3519

google-pr-creation-bot wants to merge 1 commit into

google:v0.7.xgoogle/zerocopy:v0.7.xfrom

google-pr-creation-bot:roll-pinned-kani-to-0.67.0-for-v0.7.xgoogle-pr-creation-bot/zerocopy:roll-pinned-kani-to-0.67.0-for-v0.7.xCopy head branch name to clipboard