From d7f6f0d2a75fef7192726afa718ca4320e25d6dd Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 15 Dec 2025 20:01:28 -0800
Subject: [PATCH] build the ts bindings

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 .github/workflows/docs.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index be06945d2..7e0b8b9fe 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -56,6 +56,8 @@ jobs:
       - name: Install JS dependencies
         working-directory: src/api/js
         run: npm ci
+        run: npm run build:ts
+        run: npm run build:wasm
 
       - name: Generate Documentation (from doc directory)
         working-directory: doc