From 818afaf4b5c0cafcdb1bd5ec619ca10969473705 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 16 Dec 2025 17:16:21 +0000
Subject: [PATCH] Add defaults for job run working directory

---
 .github/workflows/docs.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 61221e48f..c18174b3b 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -17,6 +17,10 @@ concurrency:
 env:
   EM_VERSION: 3.1.73
 
+defaults:
+  run:
+    working-directory: src/api/js
+
 jobs:
   build-docs:
     name: Build Documentation