ci: remove unused permission

This commit is contained in:
Emanuele Stoppa 2023-10-05 11:39:56 +01:00
parent ec82e73efa
commit 2b7e29eac1

View file

@ -23,7 +23,6 @@ jobs:
if: ${{ github.repository_owner == 'withastro' }} if: ${{ github.repository_owner == 'withastro' }}
runs-on: ubuntu-latest runs-on: ubuntu-latest
permissions: permissions:
contents: read
id-token: write id-token: write
steps: steps:
- uses: actions/checkout@v3 - uses: actions/checkout@v3