github: Workflow to get the latest documentation before building pages

EngineeringSoftware · Jan 25, 2024 · a11cf16 · a11cf16
1 parent 4fe2284
commit a11cf16
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
@@ -14,6 +14,7 @@ jobs:
           pip install sphinx sphinx_rtd_theme myst_parser
       - name: Sphinx build
         run: |
+          ./gobash sphinx
           sphinx-build doc _build
       - name: Deploy to GitHub Pages
         uses: peaceiris/actions-gh-pages@v3