diff options
| -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 |