Update .github/workflows/deploy-pages.yml

This commit is contained in:
2025-03-04 16:27:29 +01:00
parent dac90a110b
commit b84997d714

View File

@@ -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