From 7fb97208d13c03319b345c4df1d66f2f0ce5122d Mon Sep 17 00:00:00 2001
From: Pierre Villemot <pierre.villemot@ocamlpro.com>
Date: Mon, 22 Jul 2024 13:36:59 +0200
Subject: [PATCH] again again

---
 .github/workflows/build_doc.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build_doc.yml b/.github/workflows/build_doc.yml
index e89120fa7..97a26cb5a 100644
--- 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 }}