zec
/
halo2
mirror of https://github.com/zcash/halo2.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

fix doc index (#210)

This commit is contained in:
Chih Cheng Liang 2023-09-18 17:12:01 +08:00 committed by GitHub
parent 102a66db46
commit 836792f94f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/docs-ghpages.yml vendored
View File

@ -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