wenzelm [Wed, 23 Aug 2023 15:59:03 +0200] rev 78573
more accurate treatment of state vs. serial vs. db;
wenzelm [Wed, 23 Aug 2023 14:23:41 +0200] rev 78572
more explicit check;
wenzelm [Wed, 23 Aug 2023 11:44:08 +0200] rev 78571
proper numa_nodes for build_worker;
wenzelm [Wed, 23 Aug 2023 11:31:17 +0200] rev 78570
tuned message;
wenzelm [Wed, 23 Aug 2023 11:20:07 +0200] rev 78569
tuned;
wenzelm [Wed, 23 Aug 2023 11:00:30 +0200] rev 78568
tuned signature;
wenzelm [Tue, 22 Aug 2023 13:51:06 +0200] rev 78567
support hosts with shared directory (e.g. NFS);
wenzelm [Tue, 22 Aug 2023 13:27:53 +0200] rev 78566
tuned message: failure may stem from build_cluster init;
wenzelm [Tue, 22 Aug 2023 12:18:31 +0200] rev 78565
proper sync_database for receive timeout;
wenzelm [Tue, 22 Aug 2023 11:54:06 +0200] rev 78564
clarified source structure;
wenzelm [Tue, 22 Aug 2023 11:33:25 +0200] rev 78563
tuned whitespace;
wenzelm [Tue, 22 Aug 2023 10:34:27 +0200] rev 78562
clarified command-line tools;
wenzelm [Tue, 22 Aug 2023 10:31:15 +0200] rev 78561
tuned output;
wenzelm [Tue, 22 Aug 2023 10:05:03 +0200] rev 78560
clarified signature;
wenzelm [Tue, 22 Aug 2023 09:39:37 +0200] rev 78559
tuned signature;
wenzelm [Tue, 22 Aug 2023 09:28:44 +0200] rev 78558
tuned signature;
wenzelm [Mon, 21 Aug 2023 20:40:15 +0200] rev 78557
proper sequential evaluation;
wenzelm [Mon, 21 Aug 2023 15:54:08 +0200] rev 78556
more robust command options;
wenzelm [Mon, 21 Aug 2023 15:28:35 +0200] rev 78555
performance tuning: avoid redundant db access;
wenzelm [Mon, 21 Aug 2023 15:04:22 +0200] rev 78554
clarified signature: proper treatment of implicit state (amending d0c9d277620e);
wenzelm [Mon, 21 Aug 2023 13:01:45 +0200] rev 78553
performance tuning: avoid redundant db access;
wenzelm [Mon, 21 Aug 2023 12:40:33 +0200] rev 78552
performance tuning: avoid multiple db roundtrips;
wenzelm [Mon, 21 Aug 2023 12:34:53 +0200] rev 78551
clarified signature: more robust treatment of implicit state;
wenzelm [Mon, 21 Aug 2023 11:56:07 +0200] rev 78550
proper sync_database for Database_Progress consumer;
more efficient (but less reactive) Database_Progress.stopped;
wenzelm [Mon, 21 Aug 2023 11:43:29 +0200] rev 78549
tuned message;
wenzelm [Mon, 21 Aug 2023 11:42:16 +0200] rev 78548
tuned;
wenzelm [Mon, 21 Aug 2023 11:24:47 +0200] rev 78547
tuned messages;
wenzelm [Mon, 21 Aug 2023 11:15:25 +0200] rev 78546
tuned signature: removed unused arguments;
wenzelm [Mon, 21 Aug 2023 10:55:30 +0200] rev 78545
minor performance tuning: avoid multiple db roundtrips;
wenzelm [Mon, 21 Aug 2023 10:53:50 +0200] rev 78544
more operations;