diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-11-21 16:35:43 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-12-05 10:52:23 +0100 |
| commit | 9bfc824e8d3cba73a3f3aaf88bb401a7211967f3 (patch) | |
| tree | 435c6d2e34219a8d96b52fab62fed07d024bdecf /share | |
| parent | 80c57d1bec245712afbfdd9adee1151beb6b1718 (diff) | |
| download | justbuild-9bfc824e8d3cba73a3f3aaf88bb401a7211967f3.tar.gz | |
just-serve-config.5: Document options needed for remote builds
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just-serve-config.5.md | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/share/man/just-serve-config.5.md b/share/man/just-serve-config.5.md index c742e207..4bd51420 100644 --- a/share/man/just-serve-config.5.md +++ b/share/man/just-serve-config.5.md @@ -69,7 +69,19 @@ The configuration file is given by a JSON object. For subkey *`"address"`* the value is a string specifying the remote execution address in a NAME:PORT format. For subkey *`"compatible"`* the value is a flag which specifies whether - the remote endpoint uses the original remote execution protocol. + the remote endpoint uses the original remote execution protocol. + + - The value for the key *`"jobs"`* specifies the number of jobs to run. If + unset, the number of available cores is used. + + - The value for the key *`"build"`* is a JSON object specifying arguments used + by **`just`** **`serve`** to orchestrate remote builds. + For subkey *`"build jobs"`* the value specifies the number of jobs to run + during a remote build. If unset, the same value as for outer key *`"jobs"`* + is used. + For subkey *`"action timeout"`* the value in a number specifying the timeout + limit in seconds for actions run during a remote build. If unset, the default + value 300 is used. See also |