rename gallery to index before deploying github page

tscircuit · Oct 18, 2024 · 32f38cd · 32f38cd
1 parent 8dcc092
commit 32f38cd
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/deploy-gallery.yml b/.github/workflows/deploy-gallery.yml
@@ -22,6 +22,9 @@ jobs:
 
       - name: Generate Gallery
         run: bun run generate-gallery
+
+      - name: Rename gallery.html to index.html
+        run: mv gallery.html index.html
 
       - name: Deploy to GitHub Pages
         uses: peaceiris/actions-gh-pages@v3