commit 6d922ed85d4c8a7862b1803417c695642784889d parent 03d292a58585a95a4e7ba94fefb367e2a0b24130 Author: Amit Dutta <amitdutta4255@gmail.com> Date: Fri, 29 May 2026 22:37:28 +0530 Modify workflow to build site with Zensical Updated GitHub Actions workflow to use Zensical for site building instead of MkDocs. Diffstat:
| M | .github/workflows/main.yml | | | 16 | +++++++++++----- |
1 file changed, 11 insertions(+), 5 deletions(-)
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml @@ -4,10 +4,12 @@ on: push: branches: - main + # Crucial: This prevents an infinite loop when the bot pushes the new docs folder paths-ignore: - 'docs/**' - workflow_dispatch: + workflow_dispatch: # Allows you to run this manually from the Actions tab +# Grants the action permission to push commits back to the repo permissions: contents: write @@ -23,16 +25,20 @@ jobs: with: python-version: 3.x - - name: Install MkDocs and Plugins + - name: Install Zensical and Plugins run: | - pip install mkdocs-material + pip install zensical pip install mkdocs-awesome-pages-plugin + # Uncomment the next two lines if your Python script needs to run BEFORE Zensical builds + # - name: Run Python Generator Script + # run: python md.py + - name: Delete old docs folder run: rm -rf docs - - name: Build MkDocs site - run: mkdocs build -f utils/mkdocs.yml + - name: Build Zensical site + run: zensical build - name: Rename 'site' to 'docs' run: mv site docs