From a0224dae8c61fcff2e95258ad5f64e45c0c40bd3 Mon Sep 17 00:00:00 2001
From: Craige McWhirter <craige.mcwhirter@iohk.io>
Date: Tue, 21 Apr 2020 11:18:51 +1000
Subject: [PATCH] Added mio-ops build server

---
 roles/nix-mio-ops.nix | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 roles/nix-mio-ops.nix

diff --git a/roles/nix-mio-ops.nix b/roles/nix-mio-ops.nix
new file mode 100644
index 0000000..81cfafa
--- /dev/null
+++ b/roles/nix-mio-ops.nix
@@ -0,0 +1,17 @@
+# Use the mio-ops build servers
+
+{
+  nix = {
+    distributedBuilds = true;
+    buildMachines = [
+      {
+        hostName = "cuallaidh.mcwhirter.io";
+        maxJobs = 64;
+        sshKey = "/root/.ssh/id_nixops_ed25519";
+        sshUser = "craige";
+        system = "x86-64";
+        supportedFeatures = [ "big-parallel" ];
+      }
+    ];
+  };
+}