Draft to start pushing tags to permanently-kept documentation pages

gwastro · Jul 23, 2024 · d8d7050 · d8d7050
1 parent 3d9f7e2
commit d8d7050
Showing 1 changed file with 20 additions and 0 deletions.
diff --git a/.github/workflows/basic-tests.yml b/.github/workflows/basic-tests.yml
@@ -75,3 +75,23 @@ jobs:
         BRANCH: gh-pages
         FOLDER: _gh-pages
         SINGLE_COMMIT: true
+  deploy_documentation_release:
+    runs-on: ubuntu-latest
+    needs: build
+    if: github.ref == 'refs/head/master' && github.event_name == 'release'
+    steps:
+    - name: retrieve built documentation
+      uses: actions/download-artifact@v2
+      with:
+        name: documentation-page
+    - name: debug
+      run: |
+        mkdir _gh-pages
+        mv latest _gh-pages/${GITHUB_REF#refs/tags/}
+    - name: deploying tag ${GITHUB_REF#refs/tags/} to gh-pages
+      uses: JamesIves/github-pages-deploy-action@3.7.1
+      with:
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        BRANCH: gh-pages
+        FOLDER: _gh-pages
+        SINGLE_COMMIT: true