Use Nimble local deps to fix deployment issue

Fixes #1405
2026-06-08 00:47:42 +02:00
parent 55d067957c
commit 9b9c86a15c
4 changed files with 11 additions and 4 deletions
@@ -15,3 +15,6 @@ sessions.json*
 dump.rdb
 *.bak
 /tools/*.json*
+nimbledeps/
+nimble.paths
+nimble.develop