From 21945acd5beef225cddc05ffa6dbf78d23c4103d Mon Sep 17 00:00:00 2001 From: MigueldelaVarga Date: Mon, 25 Sep 2023 15:11:39 +0200 Subject: [PATCH] [WIP] Trying building docs remotely --- .github/workflows/build_and_deploy_docs.yaml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/build_and_deploy_docs.yaml b/.github/workflows/build_and_deploy_docs.yaml index 381bf0a..da5e5d8 100644 --- a/.github/workflows/build_and_deploy_docs.yaml +++ b/.github/workflows/build_and_deploy_docs.yaml @@ -28,7 +28,9 @@ jobs: run: pip install -r requirements_dev.txt - name: Build Sphinx Docs - run: make html # adjust based on your Makefile + run: | + cd docs + make html # adjust based on your Makefile - name: Deploy to GitHub Pages uses: peaceiris/actions-gh-pages@v3