Xavier-Do c72f359f41 [IMP] runbot: pause, and profile. ... Pausing a host can be usefull in some case, mainly when testing new code The loop will have no effect avoiding to break some build wainting for testing. Profile will help to identify potential performance flows during the loop.		2023-06-28 08:06:50 +02:00
..
builder.py	[IMP] runbot: add a monitoring tool to the builder	2023-01-11 11:33:19 +01:00
dbmover.py	[IMP] runbot: runbot 5.0	2020-09-10 13:44:38 +02:00
leader.py	[FIX] runbot: apply small fixes	2022-06-20 14:37:02 +02:00
tester.py	[IMP] runbot: create a separate process for cron	2021-12-08 15:06:49 +01:00
tools.py	[IMP] runbot: pause, and profile.	2023-06-28 08:06:50 +02:00