Make auto-PR step conditional to avoid noise#2376

tautschnig merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

tautschnig:auto-pr-no-noisetautschnig/kani:auto-pr-no-noiseCopy head branch name to clipboard