| Fri, 01 Nov 2024 16:57:33 +0100 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Mon, 28 Oct 2024 09:43:28 +0100 |
wenzelm |
GUI option "editor_auto_hovering" for Output panel;
|
file |
diff |
annotate
|
| Thu, 31 Oct 2024 14:58:53 +0100 |
Fabian Huch |
less hidden configuration;
|
file |
diff |
annotate
|
| Tue, 22 Oct 2024 17:32:34 +0200 |
Fabian Huch |
update ci mail address;
|
file |
diff |
annotate
|
| Tue, 06 Aug 2024 15:00:37 +0200 |
Fabian Huch |
build_manager: terminate processes if cancelling does not work;
|
file |
diff |
annotate
|
| Mon, 01 Jul 2024 18:22:33 +0200 |
Fabian Huch |
remove inactive (e.g., crashed) hosts from scheduling;
|
file |
diff |
annotate
|
| Mon, 01 Jul 2024 15:25:27 +0200 |
Fabian Huch |
tuned;
|
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
|
| Sun, 30 Jun 2024 13:20:40 +0200 |
wenzelm |
follow Phorge 2024 week 19;
|
file |
diff |
annotate
|
| Wed, 12 Jun 2024 17:06:34 +0200 |
Fabian Huch |
overhauled ci_build: clarified, removed unused, removed implicit Jenkins assumptions;
|
file |
diff |
annotate
|
| Tue, 25 Jun 2024 13:53:45 +0200 |
Fabian Huch |
extra timer delay, to limit db transactions;
|
file |
diff |
annotate
|
| Fri, 07 Jun 2024 15:47:19 +0200 |
Fabian Huch |
add cluster/hosts configurations to build manager: allows running jobs in parallel on distinct hardware;
|
file |
diff |
annotate
|
| Wed, 05 Jun 2024 15:01:31 +0200 |
Fabian Huch |
tuned;
|
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 09:02:36 +0200 |
Fabian Huch |
add build manager module;
|
file |
diff |
annotate
|
| Thu, 21 Mar 2024 16:35:55 +0100 |
Fabian Huch |
option for benchmark session;
|
file |
diff |
annotate
|
| Sun, 17 Mar 2024 22:48:44 +0100 |
Fabian Huch |
allow specifying initial schedule;
|
file |
diff |
annotate
|
| Sat, 16 Mar 2024 17:00:13 +0100 |
Fabian Huch |
allow read/write of schedule in build (read via option, write from tool);
|
file |
diff |
annotate
|
| Sat, 16 Mar 2024 14:43:48 +0100 |
Fabian Huch |
remove schedule outdated limit: delay is sufficient;
|
file |
diff |
annotate
|
| Thu, 14 Mar 2024 14:20:44 +0100 |
Fabian Huch |
more synced options (following 6e5397fcc41b);
|
file |
diff |
annotate
|
| Wed, 13 Mar 2024 17:36:35 +0100 |
wenzelm |
database performance tuning: prefer light-weight IPC over heavy-duty transactions, following bf377e10ff3b;
|
file |
diff |
annotate
|
| Wed, 13 Mar 2024 11:23:22 +0100 |
wenzelm |
proper system option, instead of hardwired default;
|
file |
diff |
annotate
|
| Fri, 08 Mar 2024 19:04:18 +0100 |
wenzelm |
prefer explicit option "build_log_verbose";
|
file |
diff |
annotate
|
| Fri, 08 Mar 2024 18:58:49 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Sat, 17 Feb 2024 20:33:09 +0100 |
wenzelm |
tuned documentation;
|
file |
diff |
annotate
|
| Wed, 24 Jan 2024 17:30:49 +0100 |
Fabian Huch |
add build_sync tag to sync certain options (e.g., build_engine) across build processes;
|
file |
diff |
annotate
|
| Sun, 14 Jan 2024 20:55:58 +0100 |
wenzelm |
support Phabricator on Ubuntu 22.04 LTS with PHP 8.1, using community form we.phorge.it version "2023 week 49";
|
file |
diff |
annotate
|
| Sat, 13 Jan 2024 21:51:51 +0100 |
wenzelm |
follow post-maintenance updates of original Phabricator, as base-line for Phorge;
|
file |
diff |
annotate
|
| Thu, 14 Dec 2023 13:10:01 +0100 |
Fabian Huch |
add delay and limit options for when schedule is considered outdated;
|
file |
diff |
annotate
|
| Sun, 26 Nov 2023 14:02:27 +0100 |
wenzelm |
more reactive headless server, in contrast to 15656ad28691 (when "isabelle dump" was important to export AFP content);
|
file |
diff |
annotate
|