Discontinue two old actions runners

infra/README.org

@@ -18,6 +18,7 @@ nixops4 apply <deployment>
 - ~git~ :: Machines hosting our Git infrastructure, eg. Forgejo and its actions
   runners
 - ~web~ :: Machines hosting our online content, eg. the website or the wiki
+- ~other~ :: Machines without a specific purpose
 
 * Procolix machines
 
@@ -27,7 +28,7 @@ infrastructure.
 
 | Machine | Description            | Deployment |
 |---------+------------------------+------------|
-| vm02116 | Forgejo                | ~git~        |
+| vm02116 | Forgejo                | ~git~      |
-| vm02179 | Forgejo actions runner | ~git~        |
+| vm02179 | /unused/               | ~other~    |
-| vm02186 | Forgejo actions runner | ~git~        |
+| vm02186 | /unused/               | ~other~    |
-| vm02187 | Wiki                   | ~web~        |
+| vm02187 | Wiki                   | ~web~      |

infra/flake-part.nix

@@ -24,7 +24,41 @@
             ];
           };
         };
+      };
+    };
 
+  nixops4Deployments.web =
+    { providers, ... }:
+    {
+      providers.local = inputs.nixops4-nixos.modules.nixops4Provider.local;
+
+      resources = {
+        vm02187 = {
+          type = providers.local.exec;
+          imports = [ inputs.nixops4-nixos.modules.nixops4Resource.nixos ];
+          ssh = {
+            host = "185.206.232.187";
+            opts = "";
+            hostPublicKey = self.keys.systems.vm02187;
+          };
+          nixpkgs = inputs.nixpkgs;
+          nixos.module = {
+            imports = [
+              ./vm02187
+              self.nixosModules.ageSecrets
+              { fediversity.hostPublicKey = self.keys.systems.vm02187; }
+            ];
+          };
+        };
+      };
+    };
+
+  nixops4Deployments.other =
+    { providers, ... }:
+    {
+      providers.local = inputs.nixops4-nixos.modules.nixops4Provider.local;
+
+      resources = {
         vm02179 = {
           type = providers.local.exec;
           imports = [ inputs.nixops4-nixos.modules.nixops4Resource.nixos ];
@@ -62,30 +96,4 @@
         };
       };
     };
-
-  nixops4Deployments.web =
-    { providers, ... }:
-    {
-      providers.local = inputs.nixops4-nixos.modules.nixops4Provider.local;
-
-      resources = {
-        vm02187 = {
-          type = providers.local.exec;
-          imports = [ inputs.nixops4-nixos.modules.nixops4Resource.nixos ];
-          ssh = {
-            host = "185.206.232.187";
-            opts = "";
-            hostPublicKey = self.keys.systems.vm02187;
-          };
-          nixpkgs = inputs.nixpkgs;
-          nixos.module = {
-            imports = [
-              ./vm02187
-              self.nixosModules.ageSecrets
-              { fediversity.hostPublicKey = self.keys.systems.vm02187; }
-            ];
-          };
-        };
-      };
-    };
 }

infra/vm02179/default.nix

@@ -1,7 +1,6 @@
 {
   imports = [
     ../common
-    ./gitea-runner.nix
   ];
 
   procolix.vm = {

infra/vm02186/default.nix

@@ -1,7 +1,6 @@
 {
   imports = [
     ../common
-    ./gitea-runner.nix
   ];
 
   procolix.vm = {