ci: fix deployed docs index

snormore · Apr 24, 2024 · a3bf5bd · a3bf5bd
1 parent 1ca5bd2
commit a3bf5bd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -47,6 +47,7 @@ jobs:
           cargo doc --lib --no-deps
           rm -f target/doc/.lock
           cp -r target/doc _site
+          echo "<meta http-equiv=\"refresh\" content=\"0; url=owned_ref_cell\">" > _site/index.html
           chmod -R +rX _site
 
       - name: Upload artifact