fix doc index (#210)

privacy-scaling-explorations · Sep 18, 2023 · 836792f · 836792f
1 parent 102a66d
commit 836792f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docs-ghpages.yml b/.github/workflows/docs-ghpages.yml
@@ -31,7 +31,7 @@ jobs:
         run: |
           rm -rf ./docs
           cp -R ./target/doc ./docs
-          echo "<meta http-equiv=\"refresh\" content=\"0; url=pse_halo2\">" > ./docs/index.html
+          echo "<meta http-equiv=\"refresh\" content=\"0; url=halo2_proofs\">" > ./docs/index.html
 
       - name: Deploy to GitHub Pages
         uses: peaceiris/actions-gh-pages@v3