+1

.github/workflows/deploy.yml

reviewed

··· 14 14 - run: just web 15 15 - uses: peaceiris/actions-gh-pages@v3 16 16 with: 17 17 + keep_files: true 17 18 publish_dir: examples/web 18 19 destination_dir: demo 19 20 github_token: "${{ secrets.GITHUB_TOKEN }}"

+4 -1

.github/workflows/docs.yml

reviewed

··· 30 30 with: { command: doc, args: "--no-deps --target-dir docs" } 31 31 - name: Deploy with gh-pages 32 32 uses: peaceiris/actions-gh-pages@v3 33 33 - with: { publish_dir: docs, github_token: "${{ secrets.GITHUB_TOKEN }}" } 33 33 + with: 34 34 + keep_files: true 35 35 + publish_dir: docs 36 36 + github_token: "${{ secrets.GITHUB_TOKEN }}"