Fix permissions in extra_jobs.yml#4351

tautschnig wants to merge 1 commit into

model-checking:mainmodel-checking/kani:mainfrom

tautschnig:fix-permissionstautschnig/kani:fix-permissionsCopy head branch name to clipboard