diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 6622d7b..2cea25a 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -6,6 +6,9 @@ on: schedule: - cron: "0 8,20 * * *" +permissions: + contents: read + jobs: unit-tests: name: Unit tests diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml index a4147b8..60d979c 100644 --- a/.github/workflows/pull_request.yml +++ b/.github/workflows/pull_request.yml @@ -4,6 +4,9 @@ on: pull_request: types: [opened, reopened, synchronize] +permissions: + contents: read + jobs: soundness: name: Soundness