fix issue building docs

Author: quentinhaenn

.github/workflows/sphinx.yml

@@ -14,13 +14,15 @@ jobs:
     steps:
     - uses: actions/checkout@v4
     - name: Build HTML
-      uses: ammaraskar/[email protected]
-      with:
-        pre-build-command: |
+      shell: bash
+      run: |
           sudo apt-get update
           sudo apt-get install build-essential
           pip install --upgrade pip
           pip install -e ".[doc]"
+          pushd docs
+          make html
+          popd
     - name: Upload artifacts
       uses: actions/upload-artifact@v4
       with: