nix: Increase sel4test timeout

seL4 · Sep 12, 2023 · 9be8c29 · 9be8c29
1 parent 4fa7fb5
commit 9be8c29
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hacking/nix/scope/sel4test/automate.py b/hacking/nix/scope/sel4test/automate.py
@@ -3,7 +3,7 @@
 import pexpect
 from pathlib import Path
 
-TIMEOUT = 60 * 5
+TIMEOUT = 60 * 10
 
 def main():
     parser = argparse.ArgumentParser()