again again

Halbaroth · Jul 22, 2024 · 7fb9720 · 7fb9720
1 parent 5e4c1c4
commit 7fb9720
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/build_doc.yml b/.github/workflows/build_doc.yml
@@ -26,6 +26,8 @@ jobs:
 
       - name: Setup python
         uses: actions/setup-python@v5
+        with:
+          python-version: '3.10'
 
       - name: Install dependencies
         run: opam exec -- make doc-deps
@@ -36,7 +38,7 @@ jobs:
       - name: Deploy
         uses: peaceiris/actions-gh-pages@v3
         with:
-          publish_dir: _build/sphinx-docs
+          publish_dir: _build/sphinx_docs
           destination_dir: dev
           enable_jekyll: true
           github_token: ${{ secrets.GITHUB_TOKEN }}