ci: Use repo permission to skip contribution quality#2956

huitseeker merged 2 commits intonext0xMiden/miden-vm:nextfrom

fix/contribution-quality-permissions0xMiden/miden-vm:fix/contribution-quality-permissionsCopy head branch name to clipboard