vscode-ext: change default timeout to 60 seconds

moves-rwth · Jan 2, 2025 · f51af62 · f51af62
1 parent 61785dd
commit f51af62
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/vscode-ext/package.json b/vscode-ext/package.json
@@ -107,7 +107,7 @@
       "properties": {
         "caesar.server.timeout": {
           "type": "number",
-          "default": 300,
+          "default": 60,
           "description": "Specifies the timeout for the verifier in seconds.",
           "order": 1
         },