From 3a108a75f70211c8d6c677de79fa293a4e790aa7 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Tue, 24 Sep 2024 08:53:10 +0200 Subject: [PATCH] looks like we need more permissions --- src/tools/miri/.github/workflows/ci.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml index 6e4815c0b9140..7d8c7203b320b 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: