Fix Kani Std check not running on `features/verify-rust-std`

[jaisnan]

Fix Kani Std check not running on features/verify-rust-std for PR's trying to fast-forward the branch.
Example - #3435

[tautschnig]

Closing as that branch is no longer relevant.