From 9ffc7e4b80ea766d865b99c8aaaa32b001f99909 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 17 Dec 2025 19:39:30 +0000
Subject: [PATCH] Add working directory for wasm build step

---
 .github/workflows/docs.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 0af9ea63a..90a683890 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -50,6 +50,7 @@ jobs:
         run: npm run build:ts
 
       - name: Build wasm
+        working-directory: src/api/js
         run: |
           emsdk install ${EM_VERSION}
           emsdk activate ${EM_VERSION}