Merge #1280

1280: add CI action for Cicero r=jbgi a=dermetfan

This adds a Cicero action that runs all hydra jobs on pushes and pull requests.
Also purified nix evaluation of hydra jobs.

Co-authored-by: Robin Stumm <[email protected]>
Co-authored-by: Jean-Baptiste Giraudeau <[email protected]>

Author: 3 people

.buildkite/docker-build-push.nix

@@ -5,7 +5,7 @@
 # There is a little bit of bash logic to replace the default repo and
 # tag from the nix-build (../nix/docker.nix).
 
-{ dbSyncPackages ?  import ../. {}
+{ dbSyncPackages ?  import ../nix {}
 
 # Build system's Nixpkgs. We use this so that we have the same docker
 # version as the docker daemon.

.buildkite/pipeline.yml

@@ -1,6 +1,6 @@
 steps:
   - label: 'check-cabal-project'
-    command: 'nix-build ./nix -A iohkNix.checkCabalProject -o check-cabal-project.sh && ./check-cabal-project.sh'
+    command: 'nix run .#checkCabalProject'
     agents:
       system: x86_64-linux
 

bors.toml

@@ -1,7 +1,6 @@
 status = [
   "buildkite/cardano-db-sync",
-  "ci/hydra-eval",
-  "ci/hydra-build:required",
+  "ci",
 ]
 timeout_sec = 7200
 required_approvals = 1

cabal.project

@@ -9,8 +9,11 @@ repository cardano-haskell-packages
     c00aae8461a256275598500ea0e187588c35a5d5d7454fb57eac18d9edb86a56
     d4a35cd3121aa00d18544bb0ac01c3e1691d618f462c46129271bccf39f7e8ee
 
+-- repeating the index-state for hackage to work around hackage.nix parsing limitation
 index-state: 2022-11-11T00:00:00Z
-index-state: cardano-haskell-packages 2022-11-12T20:00:00Z
+index-state:
+  , hackage.haskell.org 2022-11-11T00:00:00Z
+  , cardano-haskell-packages 2022-11-12T20:00:00Z
 
 packages:
   cardano-db
@@ -55,7 +58,7 @@ package cryptonite
   flags: -support_rdrand
 
 -- ---------------------------------------------------------
--- Enable tests 
+-- Enable tests
 
 tests: True
 test-show-details: direct

custom-config/default.nix

@@ -1 +1,5 @@
-self: { withHoogle = true; }
+self: {
+  withHoogle = true;
+  # optional extra haskell.nix module
+  haskellNix = {};
+}

custom-config/flake.nix

@@ -32,8 +32,7 @@ command. Pre-release tags (eg things like `12.0.0-preX`) should also be avoided
 git clone https://github.com/input-output-hk/cardano-node
 cd cardano-node
 git checkout <latest-official-tag> -b tag-<latest-official-tag>
-nix-build -A scripts.mainnet.node -o mainnet-node-local
-./mainnet-node-local/bin/cardano-node-mainnet
+nix run .#mainnet/node
 ```
 
 ### Set up and run the db-sync node
@@ -45,10 +44,10 @@ nix-build -A scripts.mainnet.node -o mainnet-node-local
 # Check ./github/workflows/haskell.yml to validate the git sha above.
 
 # On Linux
-sudo make install 
+sudo make install
 
 # On macOS
-make install 
+make install
 
 ```
 

default.nix

@@ -55,7 +55,8 @@ docker run \
 ## Build and load image using Nix
 
 ```
-docker load -i $(nix-build -A dockerImage --no-out-link)
+nix build .#dockerImage
+docker load -i ./result
 ```
 
 ## Restore from Snapshot
@@ -81,15 +82,15 @@ For `docker-compose`:
 ```yaml
 cardano-db-sync:
     image: inputoutput/cardano-db-sync:13.0.5
-    ... 
+    ...
     working_dir: /var/lib/cexplorer
     volumes:
       - db-sync-data:/var/lib/cexplorer
       - node-ipc:/node-ipc
     restart: on-failure
     ...
 ```
-After starting `docker-compose` the snapshot file should be downloaded to specified directory 
+After starting `docker-compose` the snapshot file should be downloaded to specified directory
 which exact location can be found by using `docker volume inspect` command:
 
 ```sh
@@ -173,9 +174,8 @@ Prerequisites:
 Assuming you want a Linux x86 image run:
 
 ``` shell
-nix-build -A dockerImage --no-out-link \
---builders 'ssh://builder@x86_64-linux.example.com x86_64-linux' \
---argstr system x86_64-linux
+nix build .#legacyPackages.x86_64-linux.dockerImage \
+--builders 'ssh://builder@x86_64-linux.example.com x86_64-linux'
 ```
 
 At the end it will generate a `tar.gz` file

doc/building-running.md

@@ -89,7 +89,7 @@ cabal install cardano-smash-server
 - nix
 
 ```
-nix-build -A cardano-smash-server -o smash-server
+nix build .#cardano-smash-server -o smash-server
 ```
 
 ## How to run SMASH with the Cardano node and db-sync
@@ -243,5 +243,3 @@ It is possible that a pool unregisters, in which case all it's metadata will be
 ```
 curl --verbose --header "Content-Type: application/json" http://localhost:3100/api/v1/retired
 ```
-
-