From 5dbef22feaccb738ed932a0a1b01d312dc881fde Mon Sep 17 00:00:00 2001 From: ian cao Date: Thu, 6 Aug 2026 22:28:54 +0800 Subject: [PATCH] fix(docs): harden GitHub Pages deployment --- .github/workflows/docs.yml | 2 ++ mkdocs.yml | 1 + 2 files changed, 3 insertions(+) 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