Adds more time for synthesis_video

billbrod · Oct 25, 2020 · 660d781 · 660d781
1 parent 87f2436
commit 660d781
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/prince.json b/prince.json
@@ -36,6 +36,7 @@
     },
     "synthesis_video":
     {
-        "mem": "{resources.mem}GB"
+        "mem": "{resources.mem}GB",
+        "time": "4:00:00"
     }
 }
diff --git a/rusty.json b/rusty.json
@@ -37,6 +37,7 @@
     },
     "synthesis_video":
     {
-        "mem": "{resources.mem}GB"
+        "mem": "{resources.mem}GB",
+        "time": "04:00:00"
     }
 }