From e2dec155c200c3dd691bbf74fae3ac8cb240f086 Mon Sep 17 00:00:00 2001
From: Almar Klein <almar@almarklein.org>
Date: Wed, 15 May 2024 10:00:25 +0200
Subject: [PATCH] fix that local / ci need different dev deps

---
 js/package.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/js/package.json b/js/package.json
index dae65ca..81550eb 100644
--- a/js/package.json
+++ b/js/package.json
@@ -31,7 +31,7 @@
     "test": "echo \"Error: no test specified\" && exit 1"
   },
   "devDependencies": {
-    "@jupyterlab/builder": "^3.6.7",
+    "@jupyterlab/builder": "^3.6 || ^4",
     "rimraf": "^2.6.1",
     "webpack": "^5",
     "webpack-cli": "^5.1.4"