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