[ci] Roll pinned Kani version - #3518

[ci] Roll pinned Kani version#3518

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

google:maingoogle/zerocopy:mainfrom

google-pr-creation-bot:roll-pinned-kani-to-0.67.0-for-maingoogle-pr-creation-bot/zerocopy:roll-pinned-kani-to-0.67.0-for-mainCopy head branch name to clipboard