Add garnix.yaml

flake.nix

@@ -28,6 +28,8 @@
       url = "github:input-output-hk/haskell.nix";
       inputs.hackage.follows = "hackage";
     };
+
+    flake-utils.url = "github:numtide/flake-utils";
   };
 
   outputs = inputs:
@@ -39,9 +41,11 @@
     };
 
   nixConfig = {
-    extra-substituters = [ "https://cache.iog.io" ];
-    extra-trusted-public-keys =
-      [ "hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=" ];
+    extra-substituters = [ "https://cache.iog.io" "https://cache.garnix.io" ];
+    extra-trusted-public-keys = [
+      "hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ="
+      "cache.garnix.io:CTFPyKSLcx5RMJKfLo5EEPUObbA78b0YQ2DTCJXqr9g="
+    ];
     allow-import-from-derivation = true;
   };
 }

garnix.yaml

@@ -0,0 +1,5 @@
+builds:
+  # TODO once we have fully migrated from hydra to garnix, refactor nix/output.nix 
+  # by removing all references to hydraJobs and populating this `include` section.
+  include:
+  - 'checks.*.*'

nix/outputs.nix

@@ -11,9 +11,11 @@ let
   ghc810 = project.variants.ghc810;
   ghc910 = project.variants.ghc910;
 
-in [
+in
+[
   {
     inherit (project) cabalProject;
+    inherit project repoRoot;
 
     devShells.default = ghc96.devShell;
     devShells.profiled = ghc96-profiled.devShell;
@@ -24,7 +26,7 @@ in [
 
     packages = ghc96.packages;
     apps = ghc96.apps;
-    checks = ghc96.checks;
+    # checks = ghc96.checks;
 
     latex-documents = repoRoot.nix.latex-documents;
 
@@ -37,7 +39,7 @@ in [
   }
 
   (lib.optionalAttrs (system == "x86_64-linux" || system == "x86_64-darwin") {
-    hydraJobs.plutus-metatheory-site = repoRoot.nix.plutus-metatheory-site;
+    packages.plutus-metatheory-site = repoRoot.nix.plutus-metatheory-site;
 
     hydraJobs.ghc96 = ghc96.hydraJobs;
     hydraJobs.ghc810 = ghc810.hydraJobs;
@@ -63,7 +65,7 @@ in [
 
   (lib.optionalAttrs (system == "aarch64-darwin") {
     # Plausibly if things build on x86 darwin then they'll build on aarch darwin.
-    # Se we only build roots and dev sshells on aarch to avoid overloading the builders.
+    # Se we only build roots and dev shells on aarch to avoid overloading the builders.
     hydraJobs.ghc810.devShell = ghc810.devShell;
     hydraJobs.ghc96.devShell = ghc96.devShell;
     hydraJobs.ghc98.devShell = ghc98.devShell;
@@ -81,4 +83,8 @@ in [
     hydraJobs.ghc910.roots = ghc910.hydraJobs.roots;
     hydraJobs.ghc910.plan-nix = ghc910.hydraJobs.plan-nix;
   })
+  {
+    checks = repoRoot.nix.utils.flattenDerivationTree "ci" "-"
+      inputs.self.hydraJobs.${system};
+  }
 ]

nix/utils.nix

@@ -0,0 +1,15 @@
+{ repoRoot, inputs, pkgs, system, lib }: {
+
+  flattenDerivationTree = prefix: separator: set:
+    let
+      recurse = name: name':
+        flatten (if name == "" then name' else "${name}${separator}${name'}");
+
+      flatten = name: value:
+        if lib.isDerivation value || lib.typeOf value != "set" then [{
+          inherit name value;
+        }] else
+          lib.concatLists (lib.mapAttrsToList (recurse name) value);
+
+    in assert lib.typeOf set == "set"; lib.listToAttrs (flatten prefix set);
+}