fix some more lints

davidbarsky · davidbarsky · commit 68781aeab002 · 2023-09-05T12:38:33.000-04:00
diff --git a/editors/code/src/commands.ts b/editors/code/src/commands.ts
@@ -878,7 +878,7 @@ export function addProject(ctx: CtxInit): Cmd {
         }
 
         const command = `${extensionName}.discoverWorkspaceCommand`;
-        const project = await vscode.commands.executeCommand(command);
+        const project: JsonProject = await vscode.commands.executeCommand(command);
 
         ctx.addToDiscoveredWorkspaces([project]);
 

Original file line number	Diff line number	Diff line change
`@@ -878,7 +878,7 @@ export function addProject(ctx: CtxInit): Cmd {`
`878`	`878`	`}`
`879`	`879`
`880`	`880`	const command = `${extensionName}.discoverWorkspaceCommand`;
`881`		`- const project = await vscode.commands.executeCommand(command);`
	`881`	`+ const project: JsonProject = await vscode.commands.executeCommand(command);`
`882`	`882`
`883`	`883`	`ctx.addToDiscoveredWorkspaces([project]);`
`884`	`884`