From c245810674ce49e857aba3a49ce5672b7a31bf57 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mos=C3=A8=20Giordano?= Date: Wed, 5 Nov 2025 18:59:20 +0000 Subject: [PATCH] [CI] Bring back `status: write` permission for benchmark workflow --- .github/workflows/benchmark.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/benchmark.yml b/.github/workflows/benchmark.yml index b681c185..5a23c03b 100644 --- a/.github/workflows/benchmark.yml +++ b/.github/workflows/benchmark.yml @@ -16,10 +16,12 @@ concurrency: group: ${{ github.workflow }}-${{ github.ref }} cancel-in-progress: true -# needed to allow julia-actions/cache to delete old caches that it has created permissions: + # needed to allow julia-actions/cache to delete old caches that it has created actions: write contents: read + # Needed to post a custom job status when pushing the results to a branch + statuses: write jobs: benchmark: