Move hydra-spec to input repository

cardano-scaling · Jul 16, 2024 · 2cb79ea · 2cb79ea
1 parent 6b1ef6d
commit 2cb79ea
Show file tree

Hide file tree

Showing 35 changed files with 90 additions and 5,812 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -19,6 +19,7 @@
     cardano-node.url = "github:intersectmbo/cardano-node/8.11.0-pre";
     mithril.url = "github:input-output-hk/mithril/2418.1";
     nix-npm-buildpackage.url = "github:serokell/nix-npm-buildpackage";
+    hydra-spec.url = "github:cardano-scaling/hydra-formal-specification";
   };
 
   outputs =
@@ -120,7 +121,7 @@
           packages =
             hydraPackages //
             (if pkgs.stdenv.isLinux then (prefixAttrs "docker-" hydraImages) else { }) //
-            { spec = import ./spec { inherit pkgs; }; };
+            { spec = inputs.hydra-spec.packages.${system}.default; };
 
           checks = let lu = inputs.lint-utils.linters.${system}; in {
             hlint = lu.hlint { src = self; hlint = pkgs.hlint; };

diff --git a/spec/.envrc b/spec/.envrc
diff --git a/spec/.gitignore b/spec/.gitignore
diff --git a/spec/README.md b/spec/README.md