From cb72f789b2b1f055e0e21d5c4d56ff2c1134f3c6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=96mer=20Sinan=20A=C4=9Facan?= <omeragacan@gmail.com>
Date: Tue, 2 Jan 2024 18:16:26 +0100
Subject: [PATCH] ci: copy Prelude.hs before deploying

---
 .github/workflows/update_site.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/update_site.yml b/.github/workflows/update_site.yml
index b1b32c9..156ada4 100644
--- 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: