Update CI

deib-polimi · Mar 19, 2024 · ab86195 · ab86195
1 parent f603ff6
commit ab86195
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -26,7 +26,9 @@ jobs:
             ~/.cargo/git/db/
             target/
       - name: Cargo Doc
-        run: cargo doc --color=always --no-deps --all
+        run: |
+          cargo doc --color=always --no-deps --all
+          echo "<meta http-equiv=\"refresh\" content=\"0; url=renoir\">" > target/doc/index.html
       - name: Setup Pages
         uses: actions/configure-pages@v3
       - name: Fix file permissions