| Thu, 06 Jun 2024 14:51:28 +0200 |
Fabian Huch |
add triggers to ci jobs: on commit vs timed;
|
file |
diff |
annotate
|
| Thu, 06 Jun 2024 13:37:27 +0200 |
Fabian Huch |
manage components of ci builds;
|
file |
diff |
annotate
|
| Thu, 06 Jun 2024 09:04:01 +0200 |
Fabian Huch |
use external CSS for build manager page;
|
file |
diff |
annotate
|
| Thu, 06 Jun 2024 08:58:58 +0200 |
Fabian Huch |
more build manager page;
|
file |
diff |
annotate
|
| Wed, 05 Jun 2024 17:41:16 +0200 |
Fabian Huch |
ensure permissions when starting build task (e.g., due to misconfigured client);
|
file |
diff |
annotate
|
| Wed, 05 Jun 2024 17:27:13 +0200 |
Fabian Huch |
add verbose option to build_task;
|
file |
diff |
annotate
|
| Wed, 05 Jun 2024 15:01:20 +0200 |
Fabian Huch |
build manager: manage directories/permissions, to minimize local administration;
|
file |
diff |
annotate
|
| Tue, 04 Jun 2024 18:55:55 +0200 |
Fabian Huch |
read prefs properly;
|
file |
diff |
annotate
|
| Tue, 04 Jun 2024 18:43:04 +0200 |
Fabian Huch |
allow explicit Isabelle rev in build task (e.g., for older Isabelle versions);
|
file |
diff |
annotate
|
| Tue, 04 Jun 2024 09:02:36 +0200 |
Fabian Huch |
add build manager module;
|
file |
diff |
annotate
|