diff options
Diffstat (limited to 'users/sterni/external/flipdot-gschichtler.nix')
-rw-r--r-- | users/sterni/external/flipdot-gschichtler.nix | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/users/sterni/external/flipdot-gschichtler.nix b/users/sterni/external/flipdot-gschichtler.nix new file mode 100644 index 000000000000..58f4fe1e7c8f --- /dev/null +++ b/users/sterni/external/flipdot-gschichtler.nix @@ -0,0 +1,9 @@ +{ pkgs, depot, ... }: + +import depot.users.sterni.external.sources.flipdot-gschichtler { inherit pkgs; } // { + # all targets we care about for depot + meta.ci.targets = [ + "bahnhofshalle" + "warteraum" + ]; +} |