diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index ca46fa2c..f7cc67c8 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -1,5 +1,8 @@ name: Main +permissions: + contents: read + on: push: branches: [main] diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml index bcc82e41..a76ac492 100644 --- a/.github/workflows/pull_request.yml +++ b/.github/workflows/pull_request.yml @@ -1,5 +1,8 @@ name: PR +permissions: + contents: read + on: pull_request: branches: [main] diff --git a/.github/workflows/pull_request_label.yml b/.github/workflows/pull_request_label.yml index d83c5999..096f66e5 100644 --- a/.github/workflows/pull_request_label.yml +++ b/.github/workflows/pull_request_label.yml @@ -1,5 +1,8 @@ name: PR +permissions: + contents: read + on: pull_request: types: [labeled, unlabeled, opened, reopened, synchronize] diff --git a/.github/workflows/soundness.yml b/.github/workflows/soundness.yml index cd3f196a..b74f2de0 100644 --- a/.github/workflows/soundness.yml +++ b/.github/workflows/soundness.yml @@ -1,5 +1,8 @@ name: Soundness +permissions: + contents: read + on: workflow_call: