From d73b3e81d72270ab871035d71af1910a9eb56496 Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Fri, 31 Dec 2021 20:42:21 +0000
Subject: [PATCH] CI: publish documentation for tagged commits.

---
 .github/workflows/main.yaml | 27 ++++++++++++++++++++-------
 1 file changed, 20 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
index bf57e33..f8601b6 100644
--- a/.github/workflows/main.yaml
+++ b/.github/workflows/main.yaml
@@ -55,11 +55,24 @@ jobs:
       - name: Build documentation
         run: |
           sphinx-build docs docs/_build
-      - name: Publish documentation
-        if: github.event_name == 'push' && github.event.ref == 'refs/heads/master'
-        uses: JamesIves/github-pages-deploy-action@releases/v3
+      - name: Publish development documentation
+        if: github.event_name == 'push' && github.event.ref == 'refs/heads/main'
+        uses: JamesIves/github-pages-deploy-action@releases/v4
         with:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-          BRANCH: gh-pages
-          FOLDER: docs/_build
-          TARGET_FOLDER: latest/
+          repository-name: nmigen/nmigen.github.io
+          ssh-key: ${{ secrets.PAGES_DEPLOY_KEY }}
+          branch: main
+          folder: docs/_build
+          target-folder: docs/nmigen/latest/
+      - name: Extract release version
+        if: github.event_name == 'push' && startsWith(github.event.ref, 'refs/tags/v')
+        run: echo "VERSION=$(python setup.py --version)" >>$GITHUB_ENV
+      - name: Publish release documentation
+        if: github.event_name == 'push' && startsWith(github.event.ref, 'refs/tags/v')
+        uses: JamesIves/github-pages-deploy-action@releases/v4
+        with:
+          repository-name: nmigen/nmigen.github.io
+          ssh-key: ${{ secrets.PAGES_DEPLOY_KEY }}
+          branch: main
+          folder: docs/_build
+          target-folder: docs/nmigen/v${{ env.VERSION }}/
-- 
2.30.2