From f7165fd3c328582e5731f7f32827c940fe51ed56 Mon Sep 17 00:00:00 2001 From: Ben Little Date: Thu, 6 Jun 2024 23:48:04 -0600 Subject: [PATCH] add perms to workflow and only run on merged pr (#3) --- .github/workflows/pages.yaml | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/.github/workflows/pages.yaml b/.github/workflows/pages.yaml index 5a58ff8..b43d75e 100644 --- a/.github/workflows/pages.yaml +++ b/.github/workflows/pages.yaml @@ -7,12 +7,21 @@ on: - closed push: branches: [ci/gh-pages] + +permissions: + contents: read + pages: write + id-token: write + +concurrency: + group: "pages" + cancel-in-progress: false jobs: build-ui: name: Build UI - # if: github.event.pull_request.merged == true + if: github.event.pull_request.merged == true runs-on: ubuntu-latest defaults: run: