add perms to workflow and only run on merged pr (#3)

littlebenlittle · Jun 7, 2024 · f7165fd · f7165fd
1 parent e69006e
commit f7165fd
Showing 1 changed file with 10 additions and 1 deletion.
diff --git 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: