diff options
Diffstat (limited to '.github/workflows/tools.yml')
| -rw-r--r-- | .github/workflows/tools.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/workflows/tools.yml b/.github/workflows/tools.yml index 76cbd30db7..e089e26193 100644 --- a/.github/workflows/tools.yml +++ b/.github/workflows/tools.yml @@ -5,6 +5,9 @@ on: paths: - 'tools/**' +permissions: + contents: read + jobs: build: name: Build tools on ${{ matrix.os }} |