| Mon, 13 Nov 2023 17:48:11 +0100 | Fabian Huch | better invalidation for schedule cache (only on relevant changes); | changeset | files |
| Mon, 13 Nov 2023 17:31:37 +0100 | Fabian Huch | tuned; | changeset | files |
| Mon, 13 Nov 2023 17:25:26 +0100 | Fabian Huch | timing heuristic: parallelize more aggressively to utilize hosts fully; | changeset | files |
| Mon, 13 Nov 2023 17:00:13 +0100 | Fabian Huch | proper parallel paths for timing heuristic; | changeset | files |
| Mon, 13 Nov 2023 16:16:52 +0100 | Fabian Huch | scheduled build: allocate cpus more aggressively, to avoid idle threads; | changeset | files |
| Fri, 10 Nov 2023 14:52:13 +0100 | Fabian Huch | finalize scheduled build only on master node; | changeset | files |