| ... | @@ -9,6 +9,9 @@ concurrency: | ... | @@ -9,6 +9,9 @@ concurrency: |
| 9 | # Cancels pending runs when a PR gets updated. | 9 | # Cancels pending runs when a PR gets updated. |
| 10 | group: ${{ github.head_ref || github.run_id }}-${{ github.actor }} | 10 | group: ${{ github.head_ref || github.run_id }}-${{ github.actor }} |
| 11 | cancel-in-progress: true | 11 | cancel-in-progress: true |
| | 12 | permissions: |
| | 13 | # Sets permission policy for `GITHUB_TOKEN` |
| | 14 | contents: read |
| 12 | jobs: | 15 | jobs: |
| 13 | x86_64-linux-debug: | 16 | x86_64-linux-debug: |
| 14 | timeout-minutes: 420 | 17 | timeout-minutes: 420 |