mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-19 23:14:40 +00:00
Code Activity

Update docs.yml

Browse source
This commit is contained in:
Nikolaj Bjorner 2025-12-16 16:49:05 +00:00
parent 9a7317ae44
commit 41ce10e438
1 changed files with 11 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

28
.github/workflows/docs.yml vendored
View file

@ -48,27 +48,21 @@ jobs:
version: ${{env.EM_VERSION}} version: ${{env.EM_VERSION}}
actions-cache-folder: "emsdk-cache" actions-cache-folder: "emsdk-cache"
- name: Install emscripten - name: Install dependencies
run: npm ci
- name: Build TypeScript
run: npm run build:ts
- name: Build wasm
run: | run: |
emsdk install ${EM_VERSION} emsdk install ${EM_VERSION}
emsdk activate ${EM_VERSION} emsdk activate ${EM_VERSION}
source $(dirname $(which emsdk))/emsdk_env.sh
- name: Set up Emscripten which node
run: | which clang++
source /home/runner/work/z3/z3/emsdk/emsdk_env.sh
which emmake
- name: Build WASM
run: |
emmake make -j4 libz3.a
- name: Install JS dependencies
working-directory: src/api/js
run: |
npm ci
npm run build:ts
npm run build:wasm npm run build:wasm
- name: Generate Documentation (from doc directory) - name: Generate Documentation (from doc directory)
working-directory: doc working-directory: doc
run: | run: |