| Thu, 06 Jun 2024 11:41:15 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 06 Jun 2024 11:32:39 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 05 Jun 2024 11:30:26 +0200 | wenzelm | remove unused (see also 04214caeb9ac); | changeset | files |
| Tue, 04 Jun 2024 15:13:26 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 06 Jun 2024 14:51:28 +0200 | Fabian Huch | add triggers to ci jobs: on commit vs timed; | changeset | files |
| Thu, 06 Jun 2024 13:37:27 +0200 | Fabian Huch | manage components of ci builds; | changeset | files |
| Thu, 06 Jun 2024 09:04:01 +0200 | Fabian Huch | use external CSS for build manager page; | changeset | files |
| Thu, 06 Jun 2024 08:58:58 +0200 | Fabian Huch | more build manager page; | changeset | files |
| Wed, 05 Jun 2024 20:09:04 +0200 | Fabian Huch | more page elements; | changeset | files |
| Wed, 05 Jun 2024 20:06:34 +0200 | Fabian Huch | web app: add automatic resize; | changeset | files |
| Wed, 05 Jun 2024 17:41:16 +0200 | Fabian Huch | ensure permissions when starting build task (e.g., due to misconfigured client); | changeset | files |
| Wed, 05 Jun 2024 17:27:13 +0200 | Fabian Huch | add verbose option to build_task; | changeset | files |