diff options
author | lassulus <lassulus@lassul.us> | 2017-08-31 19:15:09 +0200 |
---|---|---|
committer | lassulus <lassulus@lassul.us> | 2017-08-31 19:15:09 +0200 |
commit | dbc9889f82467b4740b649c4baefc80c352fa2f1 (patch) | |
tree | 8d243bedf41abaa17207353dba835a88815487c3 /lib/types.nix | |
parent | 0bde01ddff0842122d17f886d7690c1dc9fc500a (diff) |
types.host: managed -> ci
Diffstat (limited to 'lib/types.nix')
-rw-r--r-- | lib/types.nix | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/types.nix b/lib/types.nix index 8c6846887..a9563ccc5 100644 --- a/lib/types.nix +++ b/lib/types.nix @@ -31,9 +31,10 @@ rec { default = null; }; - managed = mkOption { + ci = mkOption { description = '' - If true, then the host's configuration is defined in stockholm. + If true, then the host wants to be tested by some CI system. + See <stockholm/krebs/2configs/buildbot-all.nix> ''; type = bool; default = false; |