fix: unknown url and add groups to categories

psteinroe · psteinroe · commit c35affc73a7f · 2025-11-01T23:19:41.000+01:00
diff --git a/packages/@postgres-language-server/backend-jsonrpc/src/workspace.ts b/packages/@postgres-language-server/backend-jsonrpc/src/workspace.ts
@@ -133,7 +133,11 @@ export type Category =
 	| "dummy"
 	| "lint"
 	| "lint/performance"
-	| "lint/safety";
+	| "lint/safety"
+	| "splinter"
+	| "splinter/performance"
+	| "splinter/security"
+	| "splinter/unknown";
 export interface Location {
 	path?: Resource_for_String;
 	sourceCode?: string;
diff --git a/packages/@postgrestools/backend-jsonrpc/src/workspace.ts b/packages/@postgrestools/backend-jsonrpc/src/workspace.ts
@@ -133,7 +133,11 @@ export type Category =
 	| "dummy"
 	| "lint"
 	| "lint/performance"
-	| "lint/safety";
+	| "lint/safety"
+	| "splinter"
+	| "splinter/performance"
+	| "splinter/security"
+	| "splinter/unknown";
 export interface Location {
 	path?: Resource_for_String;
 	sourceCode?: string;
