diff options
| author | 2023-10-07 09:35:21 +0800 | |
|---|---|---|
| committer | 2023-10-07 09:35:21 +0800 | |
| commit | 3354c5b1a7ce566126d71518425ac0a340af12d6 (patch) | |
| tree | f3d52e5a07954a862a8e7ddef6bf138e4c72ec1e /.github/workflows/pages.yml | |
| parent | 9c5d5136c6dd4ae9846f5d03aca1ad63fa549080 (diff) | |
| download | infini-1.0.2.tar.gz infini-1.0.2.zip | |
Diffstat (limited to '.github/workflows/pages.yml')
| -rw-r--r-- | .github/workflows/pages.yml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml index f2d87bf2..665f57ba 100644 --- a/.github/workflows/pages.yml +++ b/.github/workflows/pages.yml @@ -38,5 +38,4 @@ jobs: git config --local user.name "GitHub Action" git fetch origin gh-pages:gh-pages pdm run mike deploy --update-aliases dev - mike set-default --push latest git push origin gh-pages |
