| Sun, 10 Mar 2024 18:01:14 +0100 | wenzelm | more robust init_built: get_build_id and start_build within the same transaction; | changeset | files |
| Sun, 10 Mar 2024 17:33:44 +0100 | wenzelm | tuned: remove redundant guard; | changeset | files |
| Sun, 10 Mar 2024 17:30:23 +0100 | wenzelm | maintain short build_id vs. build_uuid, similar to Database_Progress context/context_uuid; | changeset | files |