| Tue, 21 Jan 2025 11:14:00 +0100 | Fabian Huch | tuned default nightly start: less events at 00:17:00; | file | diff | annotate |
| Tue, 21 Jan 2025 11:12:44 +0100 | Fabian Huch | use cycles in ci triggers; | file | diff | annotate |
| Mon, 20 Jan 2025 09:17:37 +0100 | Fabian Huch | clarified; | file | diff | annotate |
| Wed, 03 Jul 2024 09:14:39 +0200 | Fabian Huch | clarified: control verbosity; | file | diff | annotate |
| Mon, 01 Jul 2024 15:24:04 +0200 | Fabian Huch | add timeout to build manager tasks/jobs (e.g. for cluster builds that don't terminate after error on host); | file | diff | annotate |
| Fri, 28 Jun 2024 11:09:04 +0200 | Fabian Huch | add timing messages; | file | diff | annotate |
| Fri, 28 Jun 2024 10:58:29 +0200 | Fabian Huch | clarified: use progress start date; | file | diff | annotate |
| Thu, 27 Jun 2024 09:41:16 +0200 | Fabian Huch | add Isabelle settings to managed tasks and ci jobs; | file | diff | annotate |
| Wed, 12 Jun 2024 17:12:13 +0200 | Fabian Huch | moved ci_build module to build_ci; | file | diff | annotate | base |