sphinx_github_branch NEW_TAG

Need to set this during production deployment so the "branch" value is the git tag of the release. I don't want it to point to "main".
Robpol86 · Oct 14, 2023 · 8301643 · 8301643
1 parent 5b9f180
commit 8301643
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -17,7 +17,7 @@ on:
       skip_lints_tests:
         required: false
         type: boolean
-      sphinx_github_branch:  # For HTML diff
+      sphinx_github_branch:  # For HTML diff and production (tag vs branch)
         required: false
         type: string
 

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -11,6 +11,9 @@ on:
       environment:
         required: false
         type: string
+      sphinx_github_branch:
+        required: false
+        type: string
 
 
 jobs:
@@ -21,6 +24,7 @@ jobs:
       commit: "${{ inputs.commit }}"
       environment: "${{ inputs.environment || 'staging' }}"
       skip_lints_tests: true
+      sphinx_github_branch: "${{ inputs.sphinx_github_branch }}"
 
   Deploy:
     runs-on: ubuntu-latest

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -103,6 +103,7 @@ jobs:
     with:
       commit: "${{ needs.Bump.outputs.NEW_COMMIT }}"
       environment: production
+      sphinx_github_branch: "${{ needs.Bump.outputs.NEW_TAG }}"
     secrets: inherit
 
   Release: