ci: Fix output path of documentation build

GaloisInc · Nov 1, 2022 · d18d63f · d18d63f
1 parent dcb8706
commit d18d63f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -40,7 +40,7 @@ jobs:
       if: ${{ github.ref == 'refs/heads/main' }}
       with:
         github_token: ${{ secrets.GITHUB_TOKEN }}
-        publish_dir: doc/_build/html
+        publish_dir: doc/build/html
 
   build:
     runs-on: ubuntu-22.04