jochen
981a35b598
End a step left by a previous process at once: every step names its owner (issue 1890)
...
A delivery that replaced mesh-build-go left a check ask's key running, and
the new process's start sweep spared it as an ask younger than the step
bound, so it held a build slot until a hand end (issue 1890, note 21).
Each step now records its owner (boot id, pid, process start); the sweep
ends a running step of another owner at once and says its owner, while a
key with no owner keeps the earlier rule. The conformance kit gains the
left-running case every build module runs through its own start sweep.
2026-10-27 01:19:29 +01:00
..
2026-10-27 01:19:29 +01:00
2026-10-22 17:46:10 +02:00
2026-10-26 14:01:05 +01:00
2026-10-26 19:52:54 +01:00
2026-10-22 17:59:14 +02:00
2026-10-22 17:59:14 +02:00
2026-10-26 21:21:37 +01:00
2026-10-26 19:52:54 +01:00
2026-10-27 00:39:10 +01:00
2026-10-25 17:23:28 +01:00
2026-10-26 14:39:39 +01:00
2026-10-23 23:32:00 +02:00
2026-10-26 20:17:42 +01:00
2026-10-20 20:06:12 +00:00
2026-10-20 20:06:12 +00:00
2026-10-26 15:26:29 +01:00
2026-10-26 20:17:42 +01:00
2026-10-20 20:05:49 +00:00
2026-10-20 20:05:21 +00:00
2026-10-22 17:45:35 +02:00
2026-10-22 18:06:10 +02:00
2026-10-22 17:45:21 +02:00
2026-10-22 17:45:35 +02:00
2026-10-22 17:25:21 +02:00
2026-10-22 17:25:21 +02:00
2026-10-26 19:47:17 +01:00
2026-10-21 19:26:02 +02:00
2026-10-26 19:47:17 +01:00
2026-10-23 14:03:06 +02:00
2026-10-26 15:26:29 +01:00
2026-10-22 21:07:22 +02:00
2026-10-22 21:07:22 +02:00
2026-10-20 20:38:47 +00:00
2026-10-20 20:06:48 +00:00
2026-10-20 20:06:48 +00:00
2026-10-26 19:52:54 +01:00
2026-10-26 19:47:17 +01:00
2026-10-26 19:47:17 +01:00
2026-10-23 15:15:57 +02:00
2026-10-25 17:44:03 +01:00
2026-10-23 16:41:12 +02:00
2026-10-23 15:17:18 +02:00
2026-10-23 15:29:05 +02:00
2026-10-23 15:29:05 +02:00
2026-10-27 01:19:29 +01:00
2026-10-26 21:21:37 +01:00
2026-10-23 15:22:25 +02:00
2026-10-22 17:29:58 +02:00
2026-10-22 17:29:58 +02:00
2026-10-23 15:38:03 +02:00
2026-10-26 19:52:54 +01:00
2026-10-27 01:19:29 +01:00
2026-10-27 01:19:29 +01:00
2026-10-27 01:19:29 +01:00
2026-10-27 01:19:29 +01:00
2026-10-26 20:17:42 +01:00
2026-10-22 17:30:25 +02:00
2026-10-22 21:07:40 +02:00
2026-10-21 21:21:48 +02:00
2026-10-26 15:26:29 +01:00
2026-10-23 08:28:28 +02:00
2026-10-23 08:28:28 +02:00