diff --git a/client/src/test/suite/feedback.test.ts b/client/src/test/suite/feedback.test.ts
index 0ea0f437..f013f04f 100644
--- a/client/src/test/suite/feedback.test.ts
+++ b/client/src/test/suite/feedback.test.ts
@@ -13,6 +13,7 @@ suite('Should get diagnostics in the appropriate tab', function () {
 		const ext = vscode.extensions.getExtension('maximedenes.vscoq')!;
 		await ext.activate();
 
+		vscode.workspace.getConfiguration().update('vscoq.proof.mode','Continuous');
         const doc1 = await common.openTextFile('basic.v');
 		const doc2 = await common.openTextFile('warn.v');
 
diff --git a/client/src/test/suite/feedback_delegation.test.ts b/client/src/test/suite/feedback_delegation.test.ts
index c7c8f125..ca89f600 100644
--- a/client/src/test/suite/feedback_delegation.test.ts
+++ b/client/src/test/suite/feedback_delegation.test.ts
@@ -14,6 +14,7 @@ suite('Should get diagnostics in the appropriate tab', function () {
 		await ext.activate();
 
 		vscode.workspace.getConfiguration().update('vscoq.proof.delegation','Delegate');
+		vscode.workspace.getConfiguration().update('vscoq.proof.mode','Continuous');
 
 		const doc1 = await common.openTextFile('delegate_proof.v');
 		const doc2 = await common.openTextFile('warn.v');
diff --git a/client/src/test/suite/feedback_skip.test.ts b/client/src/test/suite/feedback_skip.test.ts
index c70604a5..455a48df 100644
--- a/client/src/test/suite/feedback_skip.test.ts
+++ b/client/src/test/suite/feedback_skip.test.ts
@@ -14,6 +14,7 @@ suite('Should get diagnostics in the appropriate tab', function () {
 		await ext.activate();
 
 		vscode.workspace.getConfiguration().update('vscoq.proof.delegation','Skip');
+		vscode.workspace.getConfiguration().update('vscoq.proof.mode','Continuous');
 
 		const doc1 = await common.openTextFile('delegate_proof.v');
 
diff --git a/language-server/vscoq-language-server.opam b/language-server/vscoq-language-server.opam
index 75df4f89..303ea2e3 100644
--- a/language-server/vscoq-language-server.opam
+++ b/language-server/vscoq-language-server.opam
@@ -27,7 +27,7 @@ depends: [
   "ppx_import"
   "ppx_optcomp"
   "result" { >= "1.5" }
-  "lsp" { >= "1.15"}
+  "lsp" { >= "1.15" < "1.19"}
   "sel" {>= "0.4.0"}
 ]
 synopsis: "VSCoq language server"