Merge pull request #44 from fangd123/dev

zhifu gao

2023-01-26 96d637a58be9f9a263e8cb8a2dd7a782c0d3dfd2

 .github/workflows/main.yml

@@ -21,7 +21,8 @@
      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'