| 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 |
| Fri, 10 Nov 2023 14:42:07 +0100 | Fabian Huch | finalize current sessions before generating schedule; | changeset | files |
| Fri, 10 Nov 2023 14:07:36 +0100 | Fabian Huch | clarified signature: more operations; | changeset | files |
| Mon, 13 Nov 2023 09:02:56 +0100 | desharna | NEWS | changeset | files |
| Sun, 12 Nov 2023 22:34:08 +0100 | wenzelm | merged | changeset | files |
| Sun, 12 Nov 2023 22:34:03 +0100 | wenzelm | tuned signature; | changeset | files |