Update workspace configuration to include agent-relay and devlog paths

Marvin Zhang · Marvin Zhang · commit 1770ef1f0b79 · 2025-12-18T09:00:02.000+08:00
diff --git a/lean-spec.code-workspace b/lean-spec.code-workspace
@@ -4,7 +4,10 @@
 			"path": "."
 		},
 		{
-			"path": "docs-site"
+			"path": "../agent-relay"
+		},
+		{
+			"path": "../devlog"
 		}
 	],
 	"settings": {
