diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index cab7428e10..acc7d5a507 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -363,12 +363,11 @@ jobs: permissions: contents: read checks: write + issues: write pull-requests: write security-events: write # for zizmor steps: - uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2 - with: - persist-credentials: false - uses: actions/setup-python@a309ff8b426b58ec0e2a45f0f869d46889d02405 # v6.2.0 @@ -415,7 +414,6 @@ jobs: with: level: warning fail_level: error - cleanup: false miri: if: ${{ !contains(github.event.pull_request.labels.*.name, 'skip:ci') }}