aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.github/workflows/formal.yml3
-rw-r--r--.github/workflows/labeler.yml7
-rw-r--r--.github/workflows/tools.yml3
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'