diff options
author | devhell <devhell@mailfresser.de> | 2022-12-24 17:03:55 +0000 |
---|---|---|
committer | devhell <devhell@mailfresser.de> | 2022-12-24 17:03:55 +0000 |
commit | 5476424196697ad3e9de44aa1ec2dc0ca175f11b (patch) | |
tree | 080f4c0db0156c18456af151c52a125960a805a7 /machines | |
parent | 5e9081ec65cea6a79eb61f71c5e311b7c6e36168 (diff) |
machines/default: remove sigrun and hildr
They are current decomissioned, so no need to waste precious hydra resources.
Diffstat (limited to 'machines')
-rw-r--r-- | machines/default.nix | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/machines/default.nix b/machines/default.nix index cb9db428..e6018b82 100644 --- a/machines/default.nix +++ b/machines/default.nix @@ -12,8 +12,6 @@ with import ../lib; }; devhell = { eir = callMachine devhell/eir.nix {}; - sigrun = callMachine devhell/sigrun.nix {}; - hildr = callMachine devhell/hildr.nix {}; gunnr = callMachine devhell/gunnr.nix {}; herja = callMachine devhell/herja.nix {}; }; |