diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index ea101fef..a2bf66eb 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -56,3 +56,5 @@ jobs: - name: Deploy to GitHub Pages id: deployment uses: actions/deploy-pages@v5 + with: + timeout: 1200000 diff --git a/mkdocs.yml b/mkdocs.yml index b468d139..87b72ce9 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -7,6 +7,7 @@ edit_uri: edit/main/docs/ exclude_docs: | README.md + assets/readme/tui-demo.mp4 en/README.md zh/README.md