| Tue, 21 Jan 2025 11:15:34 +0100 |
Fabian Huch |
clarified: more operations;
|
file |
diff |
annotate
|
| 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
|