diff options
| author | 2023-10-07 07:38:17 +0800 | |
|---|---|---|
| committer | 2023-10-07 07:38:17 +0800 | |
| commit | 67d412c660ebc6fa52015094a7fbf3bd85fa6f4b (patch) | |
| tree | f94108ab70c0f87aa7ac5e51737a233ccb4f6ab3 /.github/workflows/pages.yml | |
| parent | 3027c8e4c512b9b435c476ef489c0a5c65138538 (diff) | |
| download | infini-67d412c660ebc6fa52015094a7fbf3bd85fa6f4b.tar.gz infini-67d412c660ebc6fa52015094a7fbf3bd85fa6f4b.zip | |
Diffstat (limited to '.github/workflows/pages.yml')
| -rw-r--r-- | .github/workflows/pages.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml index 027531a9..665f57ba 100644 --- a/.github/workflows/pages.yml +++ b/.github/workflows/pages.yml @@ -27,6 +27,7 @@ jobs: restore-keys: | mkdocs-material- - run: | + cp CHANGELOG.md docs/changelog.md pip install -r requirements.txt pip install pdm mike mkdocstrings pdm install @@ -35,7 +36,6 @@ jobs: 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 git push origin gh-pages |
