Add worker to dist

babaeee · Jan 15, 2024 · c78006a · c78006a
1 parent 829cc8b
commit c78006a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git 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
@@ -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>