diff --git a/.github/workflows/linting.yml b/.github/workflows/linting.yml index a2db6b20..14396b9f 100644 --- a/.github/workflows/linting.yml +++ b/.github/workflows/linting.yml @@ -2,6 +2,9 @@ name: Linting on: [push, pull_request] +permissions: + contents: read + jobs: lint: runs-on: ubuntu-latest diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index 3714fa4e..51c72b05 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -2,6 +2,9 @@ name: Tests on: [push, pull_request] +permissions: + contents: read + jobs: tests: runs-on: ubuntu-latest diff --git a/.github/workflows/type-checking.yml b/.github/workflows/type-checking.yml index 8b0bf279..7436f512 100644 --- a/.github/workflows/type-checking.yml +++ b/.github/workflows/type-checking.yml @@ -2,6 +2,9 @@ name: Type Checking on: [push, pull_request] +permissions: + contents: read + jobs: type-check: runs-on: ubuntu-latest