From 9f7e304ee856b177460c7c60d93c71d773083375 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 16 Dec 2025 17:36:42 +0000 Subject: [PATCH] Update docs.yml --- .github/workflows/docs.yml | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index c18174b3b..16dd12523 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -17,10 +17,6 @@ concurrency: env: EM_VERSION: 3.1.73 -defaults: - run: - working-directory: src/api/js - jobs: build-docs: name: Build Documentation @@ -54,9 +50,11 @@ jobs: - name: Install dependencies run: npm ci + working-directory: src/api/js - name: Build TypeScript run: npm run build:ts + working-directory: src/api/js - name: Build wasm run: | @@ -66,6 +64,7 @@ jobs: which node which clang++ npm run build:wasm + working-directory: src/api/js - name: Generate Documentation (from doc directory) working-directory: doc