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, 0 insertions, 13 deletions
diff --git a/.github/workflows/formal.yml b/.github/workflows/formal.yml index 8df31d1751..26bcc74542 100644 --- a/.github/workflows/formal.yml +++ b/.github/workflows/formal.yml @@ -3,9 +3,6 @@ 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 5f82b88a50..5eecf69023 100644 --- a/.github/workflows/labeler.yml +++ b/.github/workflows/labeler.yml @@ -2,15 +2,8 @@ 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 f483615363..39adac5beb 100644 --- a/.github/workflows/tools.yml +++ b/.github/workflows/tools.yml @@ -10,9 +10,6 @@ on: - 'tools/**' - '.github/workflows/tools.yml' -permissions: - contents: read - jobs: build-macos-latest: if: github.event_name != 'push' |