From 9d0d21b756b01e1876d730ebaad7f53ea83e4f52 Mon Sep 17 00:00:00 2001 From: Tom Date: Fri, 11 Mar 2022 02:32:46 +0100 Subject: [PATCH] Fix github pages deploy --- .github/workflows/doc.yml | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index b9aa03f..0ede817 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -1,6 +1,7 @@ name: building github pages documentation on: + workflow_dispatch: push: branches: - stable @@ -12,9 +13,7 @@ jobs: steps: - name: pull the code uses: actions/checkout@v3 - with: - clean: true - name: install dependencies run: pip install -r requirements.txt - name: build and deploy - run: mkdocs gh-deploy -f docs/en/mkdocs.yml --clean + run: mkdocs gh-deploy -f docs/en/mkdocs.yml --force