From 0e528f7968998c1972ed2cf1b723542247a0439a Mon Sep 17 00:00:00 2001 From: Adnan Khan Date: Thu, 26 Feb 2026 12:24:21 -0500 Subject: [PATCH 1/2] Add permissions for update-kani-metrics job --- .github/workflows/kani-metrics.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/kani-metrics.yml b/.github/workflows/kani-metrics.yml index 39548f28b8190..443ac9d18f546 100644 --- a/.github/workflows/kani-metrics.yml +++ b/.github/workflows/kani-metrics.yml @@ -11,6 +11,9 @@ defaults: jobs: update-kani-metrics: + permissions: + contents: write + pull-requests: write if: github.repository == 'model-checking/verify-rust-std' runs-on: ubuntu-latest From 91d414b4150a3637916a832c6f7fbd3663cfb10c Mon Sep 17 00:00:00 2001 From: Adnan Khan Date: Thu, 26 Feb 2026 12:25:29 -0500 Subject: [PATCH 2/2] Add permissions for update-subtree job --- .github/workflows/update-subtree.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/update-subtree.yml b/.github/workflows/update-subtree.yml index 8ae7730ef5e17..e7ac8f87871dc 100644 --- a/.github/workflows/update-subtree.yml +++ b/.github/workflows/update-subtree.yml @@ -11,6 +11,9 @@ defaults: jobs: update-subtree-library: + permissions: + contents: write + pull-requests: write if: github.repository == 'model-checking/verify-rust-std' # Changing the host platform may alter the libgit2 version as used by # splitsh-lite, which will require changing the version of git2go.