fix(Soft_Types/ROOT) increase timeout

kappelmann · May 28, 2024 · b0c9f8e · b0c9f8e
1 parent 1e6b56a
commit b0c9f8e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Soft_Types/ROOT b/Soft_Types/ROOT
@@ -4,7 +4,7 @@ session Soft_Types = "HOL" +
   description
     \<open>Soft-Types on top of Isabelle/HOL\<close>
   options
-    [timeout = 20, quick_and_dirty]
+    [timeout = 120]
   sessions
     "HOL-Eisbach"
     Transport