ci: deploy docs manually

15r10nk · Oct 15, 2023 · acaed42 · acaed42
1 parent 77402e5
commit acaed42
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -3,6 +3,7 @@ on:
   push:
     tags:
     - v[0-9]+.[0-9]+.[0-9]+
+    - deployed_docs
 
 jobs:
   build:
@@ -26,3 +27,8 @@ jobs:
           #EXTRA_PACKAGES: build-base
           # GITHUB_DOMAIN: github.myenterprise.com
         REQUIREMENTS: doc_requirements.txt
+    - name: tag docs
+      uses: tvdias/github-tagger@v0.0.1
+      with:
+        repo-token: ${{ secrets.GITHUB_TOKEN }}
+        tag: deployed_docs