diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index e556e91424..8c7e78547d 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,5 +1,8 @@ name: CI on: [push, pull_request] +permissions: + contents: read + jobs: specs: strategy: