update github.io page

This commit is contained in:
jmwang66 2022-12-26 23:03:52 +08:00
parent 8b3e0e52c5
commit 8d2c4722d9
2 changed files with 2 additions and 1 deletions

View File

@ -21,7 +21,8 @@ jobs:
if: github.ref == 'refs/heads/main' || github.ref == 'refs/heads/dev'
run: |
mkdir public
cp -r docs/build_/html/* public/
touch public/.nojekyll
cp -r docs/_build/html/* public/
- name: deploy github.io pages
if: github.ref == 'refs/heads/main' || github.ref == 'refs/heads/dev'

BIN
docs/images/.DS_Store vendored

Binary file not shown.