ci: copy Prelude.hs before deploying

osa1 · Jan 2, 2024 · cb72f78 · cb72f78
1 parent aeb720d
commit cb72f78
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/update_site.yml b/.github/workflows/update_site.yml
@@ -27,6 +27,11 @@ jobs:
         run: |
           ./build_site
 
+      - name: Copy Prelude.hs
+        run: |
+          rm site/Prelude.hs
+          cp Prelude.hs site/Prelude.hs
+
       - name: Deploy site
         uses: JamesIves/github-pages-deploy-action@v4
         with: