From 6b6e1e017b86a7ef13ba72f7b618e971c972ee20 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 16 Dec 2025 15:31:18 +0000
Subject: [PATCH] Update docs.yml

---
 .github/workflows/docs.yml | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 0bb1508d3..ef503bdcb 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -52,7 +52,16 @@ jobs:
         run: |
           emsdk install ${EM_VERSION}
           emsdk activate ${EM_VERSION}
-
+          
+      - name: Set up Emscripten
+        run: |
+          source /home/runner/work/z3/z3/emsdk/emsdk_env.sh
+          which emmake
+          
+      - name: Build WASM
+        run: |
+          emmake make -j4 libz3.a
+          
       - name: Install JS dependencies
         working-directory: src/api/js
         run: |