From d615d7ba17346d68e0d98cc3e311a7205f2cc976 Mon Sep 17 00:00:00 2001 From: paoloredis Date: Thu, 10 Apr 2025 11:11:40 +0200 Subject: [PATCH] Add name and permissions to cleanup_pr_folders workflow --- .github/workflows/cleanup_pr_folders.yaml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.github/workflows/cleanup_pr_folders.yaml b/.github/workflows/cleanup_pr_folders.yaml index 9e197ef5c2..cfaf3f21a2 100644 --- a/.github/workflows/cleanup_pr_folders.yaml +++ b/.github/workflows/cleanup_pr_folders.yaml @@ -1,3 +1,5 @@ +name: cleanup_pr_folders + on: pull_request: types: @@ -7,6 +9,9 @@ jobs: staging: if: github.event.pull_request.merged == true runs-on: ubuntu-latest + permissions: + contents: 'read' + id-token: 'write' env: STAGING_BUCKET: docs-staging-learn-redis-com STAGING_PROJECT_ID: ${{ secrets.GCP_PROJECT_STAGING }}