Complete CI permissions limiting#4394

zhassan-aws merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

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