fix(ci): Kani PR-smoke + Mutation shard + Verus log upload#209

avrabe merged 2 commits intomainpulseengine/rivet:mainfrom

fix/ci-timeout-and-verus-logpulseengine/rivet:fix/ci-timeout-and-verus-logCopy head branch name to clipboard