| Tue, 02 Jul 2024 21:35:40 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 02 Jul 2024 17:38:28 +0200 | Fabian Huch | only consider jobs late if they have ancestors (amending 12901c03b416); | changeset | files |
| Tue, 02 Jul 2024 16:42:13 +0200 | wenzelm | enforce rebuild of Isabelle/ML; | changeset | files |
| Tue, 02 Jul 2024 16:36:49 +0200 | wenzelm | misc tuning: more uniform read_stream vs. read_file; | changeset | files |
| Tue, 02 Jul 2024 16:15:50 +0200 | wenzelm | proper limit for read operation (amending ac4d53bc8f6b); | changeset | files |
| Tue, 02 Jul 2024 15:30:59 +0200 | wenzelm | presumably unused (see also f992769dea97); | changeset | files |
| Mon, 01 Jul 2024 18:22:33 +0200 | Fabian Huch | remove inactive (e.g., crashed) hosts from scheduling; | changeset | files |