| Tue, 13 Feb 2024 16:03:55 +0100 | Fabian Huch | performance optimization; | file | diff | annotate |
| Tue, 13 Feb 2024 11:57:41 +0100 | Fabian Huch | clarified names; | file | diff | annotate |
| Tue, 13 Feb 2024 11:34:28 +0100 | Fabian Huch | clarified scheduler: proper split into scheduler, generator, and priority rules (following 32d00ec387f4); | file | diff | annotate |
| Fri, 26 Jan 2024 16:06:48 +0100 | Fabian Huch | add approximation factors in build schedule to estimate build times more conservatively; | file | diff | annotate |
| Wed, 24 Jan 2024 18:41:21 +0100 | Fabian Huch | make build process state protected to avoid copying in subclasses (e.g. for database connections); | file | diff | annotate |
| Sat, 20 Jan 2024 15:07:41 +0100 | wenzelm | clarified directories; | file | diff | annotate | base |