diff options
| -rw-r--r-- | .github/workflows/ci.yaml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 04be33bb6b..8316d7dc16 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -9,6 +9,9 @@ concurrency: # Cancels pending runs when a PR gets updated. group: ${{ github.head_ref || github.run_id }}-${{ github.actor }} cancel-in-progress: true +permissions: + # Sets permission policy for `GITHUB_TOKEN` + contents: read jobs: x86_64-linux-debug: timeout-minutes: 420 |