diff options
Diffstat (limited to 'experience/default.nix')
| -rw-r--r-- | experience/default.nix | 14 |
1 files changed, 5 insertions, 9 deletions
diff --git a/experience/default.nix b/experience/default.nix index 11f3e9c..2e04894 100644 --- a/experience/default.nix +++ b/experience/default.nix @@ -1,9 +1,5 @@ -{make, ...}: -builtins.map (path: make path {}) [ - ./2019-06_lis.nix - ./2020-03_nii.nix - ./2022-03_irif.nix - ./2022-09_tweag.nix - ./2023-03_irif.nix - ./2023-09_irif.nix -] +{ make, ... }: +{ + jobs = make ./jobs { }; + service = make ./service { }; +} |
