Merge remote branch 'origin/master' into edge

AdaCore · Aug 6, 2024 · 0991492 · 0991492
2 parents e2d1c53 + 9663cec
commit 0991492
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/integration/vscode/ada/test/suite/general/tasks.test.ts b/integration/vscode/ada/test/suite/general/tasks.test.ts
@@ -22,6 +22,8 @@ import {
 } from '../utils';
 
 suite('Task Providers', function () {
+    this.timeout('15s');
+
     let projectPath: string;
 
     this.beforeAll(async () => {
@@ -273,7 +275,7 @@ suite('Task Execution', function () {
     /**
      * Use longer timeout to accomodate for tool invocations
      */
-    this.timeout('10s');
+    this.timeout('30s');
 
     const testedTaskLabels = new Set<string>();