From 8cc1d125550cfb2889149c4b826fe862dbc7190e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 16 Dec 2025 14:15:05 -0800 Subject: [PATCH] merge Signed-off-by: Nikolaj Bjorner --- .github/workflows/docs.yml | 21 +++++++++++---------- 1 file changed, 11 insertions(+), 10 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 16dd12523..5d66c81c9 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -35,28 +35,24 @@ jobs: sudo apt-get update sudo apt-get install -y doxygen graphviz python3 - - name: Build Z3 for ubuntu-latest x64 - run: | - python3 scripts/mk_make.py - cd build - make -j$(nproc) - - name: Setup emscripten uses: mymindstorm/setup-emsdk@v14 + working-directory: src/api/js with: no-install: true version: ${{env.EM_VERSION}} actions-cache-folder: "emsdk-cache" - name: Install dependencies - run: npm ci working-directory: src/api/js + run: npm ci - name: Build TypeScript - run: npm run build:ts 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} @@ -64,8 +60,13 @@ jobs: which node which clang++ npm run build:wasm - working-directory: src/api/js - + + - name: Build Z3 for ubuntu-latest x64 + run: | + python3 scripts/mk_make.py + cd build + make -j$(nproc) + - name: Generate Documentation (from doc directory) working-directory: doc run: |