From 0dcc4fef2fb734738842ed8664a3e12a02810f75 Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Fri, 15 Aug 2025 11:42:37 +0300
Subject: [PATCH] Revert "Change jobs option default to 1"

This reverts commit 088958e3d719769528cc4a65904aa125f044469e.
---
 src/config/options.schema.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/config/options.schema.json b/src/config/options.schema.json
index 74dfcd88cd..9c8d250d5d 100644
--- a/src/config/options.schema.json
+++ b/src/config/options.schema.json
@@ -163,7 +163,7 @@
       "title": "jobs",
       "description": "Maximum number of parallel jobs. If 0, then number of cores is used. Currently used for preprocessing and g2html.",
       "type": "integer",
-      "default": 1
+      "default": 0
     },
     "goblint-dir": {
       "title": "goblint-dir",