From d73b3e81d72270ab871035d71af1910a9eb56496 Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton 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