diff options
| author |   简律纯 <i@jyunko.cn> | 2023-10-07 07:20:04 +0800 |
|---|---|---|
| committer | 简律纯 <i@jyunko.cn> | 2023-10-07 07:20:04 +0800 |
| commit | bc7d3e9bdbede27b7afb5e9054794c002b1b1ed3 (patch) | |
| tree | 90b5300abab54f3aff79b7620e8d6e8ba25c77cc /.github/workflows | |
| parent | 1542c3c149a3832b022e19cf409cf0fcf35cba1d (diff) | |
| download | infini-bc7d3e9bdbede27b7afb5e9054794c002b1b1ed3.tar.gz infini-bc7d3e9bdbede27b7afb5e9054794c002b1b1ed3.zip | |
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/pages.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml index 604c7572..a7b573a8 100644 --- a/.github/workflows/pages.yml +++ b/.github/workflows/pages.yml @@ -37,4 +37,5 @@ 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 dev git push origin gh-pages |