Skip to content

Commit

Permalink
fully document the key
Browse files Browse the repository at this point in the history
  • Loading branch information
srid committed Feb 14, 2024
1 parent c020151 commit b145a28
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion nixos/easy-github-runners.nix
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,10 @@ in
description = ''
Attrset of runners.
The key is either org name or the repo path.
The key will be used to identify the runner name. It could be either org
name or the repo path, unless you want to run multiple runners per
org/repo, in which case choose a suitably unique key while setting org
name or repo path in `githubPath` option.
'';
type = types.lazyAttrsOf (types.submodule ({ config, name, ... }: {
options = {
Expand Down

0 comments on commit b145a28

Please sign in to comment.