From f901646e087ab6f7aa7c0e9f8206b2213bf162cb Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 18 Dec 2025 19:12:53 -0800
Subject: [PATCH] enable js

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

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 72a7a8109..6bf395770 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -53,7 +53,7 @@ jobs:
           echo "OCAML_VERSION: $(ocamlc -version)"
           echo "OCAMLLIB: $OCAMLLIB"
           mkdir build
-          python3 scripts/mk_make.py --python --ml
+          python3 scripts/mk_make.py --python --ml --js
           cd build
           make -j$(nproc)
           cd ../src/api/python && python3 -m pip install --user .