diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/formal.yml | 3 | ||||
| -rw-r--r-- | .github/workflows/labeler.yml | 7 | ||||
| -rw-r--r-- | .github/workflows/tools.yml | 3 |
3 files changed, 13 insertions, 0 deletions
diff --git a/.github/workflows/formal.yml b/.github/workflows/formal.yml index 5046b5a180..1256481637 100644 --- a/.github/workflows/formal.yml +++ b/.github/workflows/formal.yml @@ -3,6 +3,9 @@ name: Test Formalities on: pull_request: +permissions: + contents: read + jobs: build: name: Test Formalities diff --git a/.github/workflows/labeler.yml b/.github/workflows/labeler.yml index 6bcdf51a89..420617809b 100644 --- a/.github/workflows/labeler.yml +++ b/.github/workflows/labeler.yml @@ -2,8 +2,15 @@ name: 'Pull Request Labeler' on: - pull_request_target +permissions: + contents: read + jobs: labeler: + permissions: + contents: read # to determine modified files (actions/labeler) + pull-requests: write # to add labels to PRs (actions/labeler) + name: Pull Request Labeler runs-on: ubuntu-latest steps: 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 }} |