Merge remote branch 'origin/master' into edge

Author: automatic-merge

integration/vscode/ada/src/taskProviders.ts

@@ -314,7 +314,7 @@ const predefinedTasks: PredefinedTask[] = [
         taskDef: {
             type: TASK_TYPE_SPARK,
             command: 'gnatprove',
-            args: ['${command:ada.gprProjectArgs}', '-cargs', '-gnatef'],
+            args: ['${command:ada.gprProjectArgs}', '-j0', '-cargs', '-gnatef'],
         },
         problemMatchers: DEFAULT_PROBLEM_MATCHERS,
     },
@@ -323,7 +323,14 @@ const predefinedTasks: PredefinedTask[] = [
         taskDef: {
             type: TASK_TYPE_SPARK,
             command: 'gnatprove',
-            args: ['${command:ada.gprProjectArgs}', '-u', '${fileBasename}', '-cargs', '-gnatef'],
+            args: [
+                '${command:ada.gprProjectArgs}',
+                '-j0',
+                '-u',
+                '${fileBasename}',
+                '-cargs',
+                '-gnatef',
+            ],
         },
         problemMatchers: DEFAULT_PROBLEM_MATCHERS,
     },
@@ -348,6 +355,7 @@ const predefinedTasks: PredefinedTask[] = [
             command: 'gnatprove',
             args: [
                 '${command:ada.gprProjectArgs}',
+                '-j0',
                 '-u',
                 '${fileBasename}',
                 '${command:ada.spark.limitRegionArg}',