| Tue, 27 Aug 2024 12:57:49 +0200 |
Fabian Huch |
manage runner state properly (amending be4c1fbccfe8);
|
file |
diff |
annotate
|
| Wed, 21 Aug 2024 13:33:19 +0200 |
Fabian Huch |
remove terminated jobs, even if futures do not complete;
|
file |
diff |
annotate
|
| Tue, 20 Aug 2024 17:28:51 +0200 |
Fabian Huch |
terminate jobs properly;
|
file |
diff |
annotate
|
| Tue, 06 Aug 2024 18:39:32 +0200 |
Fabian Huch |
build_manager: change colors;
|
file |
diff |
annotate
|
| Tue, 06 Aug 2024 16:58:23 +0200 |
Fabian Huch |
build_manager: display more info;
|
file |
diff |
annotate
|
| Tue, 06 Aug 2024 15:40:51 +0200 |
Fabian Huch |
tuned and clarified;
|
file |
diff |
annotate
|
| Tue, 06 Aug 2024 15:38:10 +0200 |
Fabian Huch |
build_manager: store submitting user;
|
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
|
| Tue, 06 Aug 2024 13:54:10 +0200 |
Fabian Huch |
build_manager: log message when job is cancelled;
|
file |
diff |
annotate
|
| Thu, 18 Jul 2024 13:52:51 +0200 |
Fabian Huch |
better poller: don't start job when same version is already running;
|
file |
diff |
annotate
|
| Thu, 18 Jul 2024 13:08:11 +0200 |
Fabian Huch |
clarified: more uniform;
|
file |
diff |
annotate
|
| Wed, 10 Jul 2024 17:42:48 +0200 |
Fabian Huch |
tuned website;
|
file |
diff |
annotate
|
| Wed, 10 Jul 2024 17:31:17 +0200 |
Fabian Huch |
proper parse (amending dd86d35375a7);
|
file |
diff |
annotate
|
| Wed, 10 Jul 2024 17:04:44 +0200 |
Fabian Huch |
allow updating reports via build_manager_database tool, e.g. to generate hg logs/diffs;
|
file |
diff |
annotate
|
| Wed, 10 Jul 2024 17:01:51 +0200 |
Fabian Huch |
clarified;
|
file |
diff |
annotate
|