diff options
| author |   简律纯 <i@jyunko.cn> | 2023-10-07 07:32:00 +0800 |
|---|---|---|
| committer | 简律纯 <i@jyunko.cn> | 2023-10-07 07:32:00 +0800 |
| commit | 3027c8e4c512b9b435c476ef489c0a5c65138538 (patch) | |
| tree | a63dbea0ce5fd7c61690b61b7e8c41567d0d0bc8 /.github/workflows | |
| parent | 92570a9ce914d097080f7c6dd1642129fa576cac (diff) | |
| download | infini-3027c8e4c512b9b435c476ef489c0a5c65138538.tar.gz infini-3027c8e4c512b9b435c476ef489c0a5c65138538.zip | |
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/pages.yml | 4 | ||||
| -rw-r--r-- | .github/workflows/python-publish.yml | 1 |
2 files changed, 3 insertions, 2 deletions
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml index 8796b1eb..027531a9 100644 --- a/.github/workflows/pages.yml +++ b/.github/workflows/pages.yml @@ -29,13 +29,13 @@ jobs: - run: | pip install -r requirements.txt pip install pdm mike mkdocstrings - pdm install -G doc + pdm install - name: Build Documentation run: | git config --local user.email "action@github.com" git config --local user.name "GitHub Action" + cp CHANGELOG.md docs/changelog.md git fetch origin gh-pages:gh-pages pdm run mike deploy --update-aliases dev - mike set-default --push dev git push origin gh-pages diff --git a/.github/workflows/python-publish.yml b/.github/workflows/python-publish.yml index 29e8d768..336a8d30 100644 --- a/.github/workflows/python-publish.yml +++ b/.github/workflows/python-publish.yml @@ -37,6 +37,7 @@ jobs: git fetch origin gh-pages:gh-pages tag="${{ github.ref_name }}" DOC_VERSION=${tag%.*} + cp CHANGELOG.md docs/changelog.md pdm run mike deploy --no-redirect --update-aliases "$DOC_VERSION" latest git push origin gh-pages |