diff options
| author | Ralf Jung <post@ralfj.de> | 2024-09-24 08:53:10 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-09-24 08:53:10 +0200 |
| commit | 3a108a75f70211c8d6c677de79fa293a4e790aa7 (patch) | |
| tree | 64bbfb002f705178b2b06f853d3a5ef6b01d28eb | |
| parent | 09e81221eb334ce8557ec159abf0a2f3a7f198eb (diff) | |
| download | rust-3a108a75f70211c8d6c677de79fa293a4e790aa7.tar.gz rust-3a108a75f70211c8d6c677de79fa293a4e790aa7.zip | |
looks like we need more permissions
| -rw-r--r-- | src/tools/miri/.github/workflows/ci.yml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml index 6e4815c0b91..7d8c7203b32 100644 --- a/src/tools/miri/.github/workflows/ci.yml +++ b/src/tools/miri/.github/workflows/ci.yml @@ -13,7 +13,9 @@ on: - cron: '44 4 * * *' # At 4:44 UTC every day. permissions: - contents: read + # The cronjob needs to be able to push to the repo... + contents: write + # ... and create a PR. pull-requests: write defaults: |