Move hydra-spec to input repository

cardano-scaling · Jul 31, 2024 · 8a553a5 · 8a553a5
1 parent f86515c
commit 8a553a5
Show file tree

Hide file tree

Showing 36 changed files with 94 additions and 5,801 deletions.
diff --git a/.github/workflows/ci-nix.yaml b/.github/workflows/ci-nix.yaml
@@ -276,14 +276,14 @@ jobs:
 
     - name: ❄ Build specification PDF
       run: |
-        nix build .#spec && cp result/*.pdf spec/
+        nix build .#spec && cp result/*.pdf .
 
     - name: 💾 Upload specification
       uses: actions/upload-artifact@v4
       with:
         name: hydra-spec
         path: |
-          ./spec/*.pdf
+          *.pdf
 
   documentation:
     name: Documentation

diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -21,6 +21,7 @@
     cardano-node.url = "github:intersectmbo/cardano-node/9.1.0";
     mithril.url = "github:input-output-hk/mithril/2428.0";
     nix-npm-buildpackage.url = "github:serokell/nix-npm-buildpackage";
+    hydra-spec.url = "github:cardano-scaling/hydra-formal-specification";
   };
 
   outputs =

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