diff options
| author | Jakub Beránek <jakub.beranek@vsb.cz> | 2024-09-24 09:21:41 +0200 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2024-09-24 09:56:02 +0200 |
| commit | 8885ae9b253bc44e0a35359855381a2248361e06 (patch) | |
| tree | 6485aea1db0e9a49a4be71658af0931b2f10ee58 /src/tools/miri | |
| parent | d47e254bfa6edc11af430a3b7a79030bec696bdf (diff) | |
| download | rust-8885ae9b253bc44e0a35359855381a2248361e06.tar.gz rust-8885ae9b253bc44e0a35359855381a2248361e06.zip | |
Scope CI permissions to the job that needs it
Diffstat (limited to 'src/tools/miri')
| -rw-r--r-- | src/tools/miri/.github/workflows/ci.yml | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml index 7d8c7203b32..8b0916f5111 100644 --- a/src/tools/miri/.github/workflows/ci.yml +++ b/src/tools/miri/.github/workflows/ci.yml @@ -12,12 +12,6 @@ on: schedule: - cron: '44 4 * * *' # At 4:44 UTC every day. -permissions: - # The cronjob needs to be able to push to the repo... - contents: write - # ... and create a PR. - pull-requests: write - defaults: run: shell: bash @@ -93,6 +87,11 @@ jobs: cron-fail-notify: name: cronjob failure notification runs-on: ubuntu-latest + permissions: + # The cronjob needs to be able to push to the repo... + contents: write + # ... and create a PR. + pull-requests: write needs: [build, style] if: github.event_name == 'schedule' && failure() steps: |