eldritch horrors f869b52a8d use build-local gc-root directory ... without this two builds can interfere with each other if: - builds 1 and 2 start - build 1 is starved of workers - build 2 finishes, removes the shared gcroots directory - gc runs - build 1 schedules more builds whose .drvs have now been removed using a dedicated directory for each build fixes this. we now also need to set alwaysRun on the cleanup command or we risk littering the system with stale gc roots when a build fails.		2024-03-11 06:48:41 +01:00
..
__init__.py	use build-local gc-root directory	2024-03-11 06:48:41 +01:00
github_projects.py	only refresh github projects in timer and sort them	2024-01-08 11:45:01 +00:00
worker.py	typecheck twisted	2024-01-01 15:38:28 +00:00