build: set executable permissions on .sh scripts

Trevypants · May 20, 2024 · 077895d · 077895d
1 parent d1a2ddf
commit 077895d
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 4 deletions.
diff --git a/.github/workflows/publish_docs.yml b/.github/workflows/publish_docs.yml
@@ -4,9 +4,13 @@ on:
   push:
     branches:
       - main
+    paths:
+      - 'docs/**'
+      - 'mkdocs.yml'
+      - '.github/workflows/publish_docs.yml'
 
 jobs:
-  publish:
+  publish-docs:
     strategy:
       matrix:
         python-version: [3.11]
@@ -15,10 +19,13 @@ jobs:
         shell: bash
     environment: ${{ github.base_ref }}
     runs-on: ubuntu-latest
+
+    # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
     permissions:
-      contents: write
+      contents: read
       pages: write
-
+      id-token: write
+
     steps:
       #----------------------------------------------
       #   ----------- check-out repo  ------------

diff --git a/.github/workflows/publish_pypi.yml b/.github/workflows/publish_pypi.yml
@@ -6,7 +6,7 @@ on:
       - "v*" # Push events to matching v*, i.e. v1.0, v20.15.10
 
 jobs:
-  publish:
+  publish-pypi:
     strategy:
       matrix:
         python-version: [3.11]

diff --git a/scripts/publish_docs.sh b/scripts/publish_docs.sh