clarified worker state: always maintain database content via worker_uuid;
clarified message;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE69d3547206db: clarified signature: prefer Build_Process.Context for parameters;
- Branches
- Unknown
- Tags