From 04d9504cc3c0ae060102ddd31fdde68354c729b9 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 17 Dec 2025 20:28:16 +0000
Subject: [PATCH] Simplify CI workflow by removing emscripten steps

Removed unnecessary steps for emscripten setup and TypeScript/WASM build in the CI workflow.
---
 .github/workflows/docs.yml | 28 ++--------------------------
 1 file changed, 2 insertions(+), 26 deletions(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 90a683890..0350f776c 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -33,31 +33,7 @@ jobs:
       - name: Install system dependencies
         run: |
           sudo apt-get update
-          sudo apt-get install -y doxygen graphviz python3 python3-pip
-
-      - name: Setup emscripten
-        uses: mymindstorm/setup-emsdk@v14
-        with:
-          version: ${{env.EM_VERSION}}
-          actions-cache-folder: "emsdk-cache"
-
-      - name: Install dependencies
-        working-directory: src/api/js
-        run: npm ci
-
-      - name: Build TypeScript
-        working-directory: src/api/js
-        run: npm run build:ts
-
-      - name: Build wasm
-        working-directory: src/api/js
-        run: |
-          emsdk install ${EM_VERSION}
-          emsdk activate ${EM_VERSION}
-          source $(dirname $(which emsdk))/emsdk_env.sh
-          which node
-          which clang++
-          npm run build:wasm       
+          sudo apt-get install -y doxygen graphviz python3 python3-pip     
 
       - name: Build Z3 natively for Python documentation
         run: |
@@ -67,7 +43,7 @@ jobs:
 
       - name: Generate Documentation (from doc directory)
         working-directory: doc
-        run: python3 mk_api_doc.py --js --output-dir=api
+        run: python3 mk_api_doc.py --output-dir=api
 
       - name: Setup Pages
         uses: actions/configure-pages@v5