diff options
Diffstat (limited to 'doc/manual.cli')
| -rw-r--r-- | doc/manual.cli | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/doc/manual.cli b/doc/manual.cli index f26f350..110fd3d 100644 --- a/doc/manual.cli +++ b/doc/manual.cli @@ -406,8 +406,10 @@ The result manifest describes a build result. \ SYNOPSIS -agent: <agent-name> -fingerprint: <agent-fingerprint> +agent: <agent-name> +toolchain-name: <name> +toolchain-version: <standard-version> +fingerprint: <agent-fingerprint> \ An agent (or controller acting as an agent) sends a task request to its @@ -421,6 +423,14 @@ starts with the task request manifest followed by a list of machine manifests. The name of the agent host (\c{hostname}). This should be unique in a particular \c{bbot} deployment.| +\li|\n\c{toolchain-name: <name>}\n + + The \c{build2} toolchain name being used by the agent.| + +\li|\n\c{toolchain-version: <standard-version>}\n + + The \c{build2} toolchain version being used by the agent.| + \li|\n\c{fingerprint: <agent-fingerprint>}\n The SHA256 fingerprint of the agent's public key. An agent may be configured @@ -429,7 +439,6 @@ starts with the task request manifest followed by a list of machine manifests. the authentication in which case it will respond with the 401 (unauthorized) HTTP status code.|| - \h#arch-task-res-manifest|Task Response Manifest| \ |