From b84997d7149497cea86c0aba930aa472d7e36d65 Mon Sep 17 00:00:00 2001 From: ebner Date: Tue, 4 Mar 2025 16:27:29 +0100 Subject: [PATCH] Update .github/workflows/deploy-pages.yml --- .github/workflows/deploy-pages.yml | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/.github/workflows/deploy-pages.yml b/.github/workflows/deploy-pages.yml index c0142113..e4d1520d 100644 --- a/.github/workflows/deploy-pages.yml +++ b/.github/workflows/deploy-pages.yml @@ -33,10 +33,12 @@ jobs: # pip install jupyter-book==0.14.0 - name: Verify Python version - run: python3 --version + run: pip3 install mkdocs + # - name: Build Jupyter Book + # run: jupyter-book build . - name: Build Jupyter Book - run: jupyter-book build . + run: mkdocs build --site-dir public - name: Configure Git run: | @@ -45,10 +47,12 @@ jobs: - name: Push to gitea-pages branch run: | + mkdir deploy + cd deploy git checkout --orphan gitea-pages git reset --hard - cp -r ./_build/html/* . - git add . + cp -r ../public/* . + git add --all git commit -m "Deploy site" git push -f https://${{secrets.GITHUB_TOKEN}}@gitea.psi.ch/linux/gitea-pages.git gitea-pages