mirror of
https://github.com/Z3Prover/z3
synced 2025-12-25 05:26:51 +00:00
Fix docs.yml build by adding working-directory to npm steps
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
parent
05baaf4979
commit
5fcc5efedd
1 changed files with 3 additions and 0 deletions
3
.github/workflows/docs.yml
vendored
3
.github/workflows/docs.yml
vendored
|
|
@ -74,12 +74,15 @@ jobs:
|
|||
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}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue