Add executable bit configuration to allow in_repo and on_disk permissions to diverge
#4223
Workflow file for this run
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: pr | |
| on: | |
| pull_request: | |
| permissions: {} | |
| jobs: | |
| # The actual `required-checks` job is defined in `ci.yml` and only | |
| # runs for `merge_group` events. This hack ensures that it doesn’t | |
| # block the merge for pull requests. | |
| required-checks: | |
| name: required checks (merge queue) | |
| if: false | |
| runs-on: ubuntu-latest | |
| # Should never be run | |
| steps: | |
| - run: exit 1 |