From c78006afea77b15ed4ce45df3ad147011e17ba07 Mon Sep 17 00:00:00 2001
From: hkalbasi <hamidrezakalbasi@protonmail.com>
Date: Mon, 15 Jan 2024 23:37:30 +0330
Subject: [PATCH] Add worker to dist

---
 .github/workflows/build_example_web.yml | 1 +
 front/src/index.html                    | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build_example_web.yml b/.github/workflows/build_example_web.yml
index edadbad..9b329e7 100644
--- a/.github/workflows/build_example_web.yml
+++ b/.github/workflows/build_example_web.yml
@@ -61,6 +61,7 @@ jobs:
           cat dist/index.html > dist/404.html
           cp node_modules/z3-solver/build/z3-built.js dist/
           cp node_modules/z3-solver/build/z3-built.wasm dist/
+          cp node_modules/z3-solver/build/z3-built.worker.wasm dist/
           cp dist/static/enable-threads.js dist/.
 
       - name: Deploy to github pages
diff --git a/front/src/index.html b/front/src/index.html
index eb07ee7..6ef3e6c 100644
--- a/front/src/index.html
+++ b/front/src/index.html
@@ -11,7 +11,7 @@
     <script src="/static/hakim-json.js"></script>
 </body>
 
-<script src="z3-built.js"></script>
+<script src="/z3-built.js"></script>
 <script>
     globalThis.global = { initZ3: globalThis.initZ3 };
 </script>