From 30e57b9f24bba07df8be4f2c6ce38241ae24881d Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Fri, 30 Aug 2024 13:58:47 +0200 Subject: [PATCH] depot_autopilot: let sel4 chew on 22 tests per boot --- repos/gems/run/depot_autopilot.run | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/gems/run/depot_autopilot.run b/repos/gems/run/depot_autopilot.run index 46f5bf6f7f..cd043e3e61 100644 --- a/repos/gems/run/depot_autopilot.run +++ b/repos/gems/run/depot_autopilot.run @@ -840,7 +840,7 @@ init_previous_results # set max_nr_of_tests_per_boot 0 if {[have_spec sel4]} { - set max_nr_of_tests_per_boot 20 + set max_nr_of_tests_per_boot 22 } # generic preparation for each system boot