diff options
Diffstat (limited to '.github/workflows/pages.yml')
| -rw-r--r-- | .github/workflows/pages.yml | 4 |
1 files changed, 2 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 |