Fabian Huch <huch@in.tum.de> [Thu, 06 Jun 2024 14:51:28 +0200] rev 80261
add triggers to ci jobs: on commit vs timed;
Fabian Huch <huch@in.tum.de> [Thu, 06 Jun 2024 13:37:27 +0200] rev 80260
manage components of ci builds;
Fabian Huch <huch@in.tum.de> [Thu, 06 Jun 2024 09:04:01 +0200] rev 80259
use external CSS for build manager page;
Fabian Huch <huch@in.tum.de> [Thu, 06 Jun 2024 08:58:58 +0200] rev 80258
more build manager page;
Fabian Huch <huch@in.tum.de> [Wed, 05 Jun 2024 20:09:04 +0200] rev 80257
more page elements;
Fabian Huch <huch@in.tum.de> [Wed, 05 Jun 2024 20:06:34 +0200] rev 80256
web app: add automatic resize;
Fabian Huch <huch@in.tum.de> [Wed, 05 Jun 2024 17:41:16 +0200] rev 80255
ensure permissions when starting build task (e.g., due to misconfigured client);
Fabian Huch <huch@in.tum.de> [Wed, 05 Jun 2024 17:27:13 +0200] rev 80254
add verbose option to build_task;
Fabian Huch <huch@in.tum.de> [Wed, 05 Jun 2024 15:01:31 +0200] rev 80253
tuned;
Fabian Huch <huch@in.tum.de> [Wed, 05 Jun 2024 15:01:20 +0200] rev 80252
build manager: manage directories/permissions, to minimize local administration;