wsl is just slow?

mzuenni · mpsijm · commit d71516eee012 · 2025-08-05T12:39:22.000+02:00
diff --git a/test/problems/hellounix/problem.yaml b/test/problems/hellounix/problem.yaml
@@ -11,4 +11,4 @@ rights_owner:
 
 limits:
   memory: 512
-  time_limit: 3.0
+  time_limit: 10.0
