Fix release job dependencies#4273

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

tautschnig:fixup-release-processtautschnig/kani:fixup-release-processCopy head branch name to clipboard