diff options
| author | Ralf Jung <post@ralfj.de> | 2024-09-22 12:51:11 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-09-22 12:51:11 +0200 |
| commit | 2859f2bafcb2165b2dd4474295682128be56f026 (patch) | |
| tree | edb108668e5b790d1d43c1c772a08c4f1a7c9777 | |
| parent | ee20c8628224ceae61f5f3dac98a18ede8872571 (diff) | |
| download | rust-2859f2bafcb2165b2dd4474295682128be56f026.tar.gz rust-2859f2bafcb2165b2dd4474295682128be56f026.zip | |
try to give the CI job permission to create PRs
| -rw-r--r-- | src/tools/miri/.github/workflows/ci.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml index 22c833a5488..b9441236bcd 100644 --- a/src/tools/miri/.github/workflows/ci.yml +++ b/src/tools/miri/.github/workflows/ci.yml @@ -12,6 +12,9 @@ on: schedule: - cron: '44 4 * * *' # At 4:44 UTC every day. +permissions: + contents: write + defaults: run: shell: bash |