chore: add cmd in generating doc

privacy-scaling-explorations · Aug 25, 2023 · 157d01e · 157d01e
1 parent 8ccdef3
commit 157d01e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/github-pages.yml b/.github/workflows/github-pages.yml
@@ -34,6 +34,7 @@ jobs:
       - name: Generate Docs
         run: |
           cargo doc --no-deps
+          echo "<meta http-equiv=\"refresh\" content=\"0; url=zkevm_circuits\">" > target/doc/index.html
       - name: Setup Pages
         uses: actions/configure-pages@v3
       - name: Upload artifact