diff --git a/.github/workflows/format-check.yml b/.github/workflows/format-check.yml
index ab9553e..90dc00d 100644
--- a/.github/workflows/format-check.yml
+++ b/.github/workflows/format-check.yml
@@ -20,7 +20,7 @@ jobs:
 
       - name: Check TS linting
         run: |
-          npm install -g npm@latest
+          npm install -g npm@9.8
           npm install
           npm run lint
 
diff --git a/src/ui/coverage/coverageInfo.ts b/src/ui/coverage/coverageInfo.ts
index 87ae7be..ca9caf8 100644
--- a/src/ui/coverage/coverageInfo.ts
+++ b/src/ui/coverage/coverageInfo.ts
@@ -84,7 +84,13 @@ async function runCoverageCommand(command: string, harnessName: string): Promise
 
 	vscode.window.showInformationMessage(`Generating coverage for ${harnessName}`);
 	return new Promise((resolve, _reject) => {
-		execFile(kaniBinaryPath, args, options, async (_error: any, stdout: any, _stderr: any) => {
+		execFile(kaniBinaryPath, args, options, async (error: any, stdout: any, stderr: any) => {
+
+			// Check for compilation errors from Kani
+			if(stderr && stderr.includes('error: could not compile')) {
+				vscode.window.showInformationMessage(`Kani had errors during compilation to following errors: \n${stdout}`);
+			}
+
 			if (stdout) {
 				const parseResult = await parseKaniCoverageOutput(stdout);
 				resolve({ statusCode: 0, result: parseResult });