Deploy action uses gitignore...

voodoos · Oct 20, 2024 · bae6ec6 · bae6ec6
1 parent fc7a6d2
commit bae6ec6
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -40,6 +40,10 @@ jobs:
         run: |
           opam exec -- dune build --profile=release @default
 
+      - name: Remove .gitignore file
+        run: |
+          rm -f web/yjs/.gitignore
+
       - name: Deploy 🚀
         uses: JamesIves/github-pages-deploy-action@v4
         with: