[nix] Rematerialize GHC9 in the CI (#3174)

Updated the `Update/ Nix` CI script to re-materialize both the current GHC8.10.* and the GHC9 expressions in the `nix/` folder.

Author: goodlyrottenapple

.github/workflows/update.yml

@@ -27,22 +27,26 @@ jobs:
           ref: ${{ steps.config.outputs.ref }}
           submodules: recursive
 
-      - name: Install Nix
-        uses: cachix/install-nix-action@v14.1
+      - name: 'Install Nix'
+        uses: cachix/install-nix-action@v15
         with:
           extra_nix_config: |
-            substituters = http://cache.nixos.org https://hydra.iohk.io
+            substituters = http://cache.nixos.org https://cache.iog.io
             trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=
-          install_url: "https://releases.nixos.org/nix/nix-2.3.16/install"
 
-      - name: Install Cachix
+      - name: 'Install Cachix'
         uses: cachix/cachix-action@v10
         with:
           name: runtimeverification
+          extraPullNames: kore
           signingKey: '${{ secrets.CACHIX_SIGNING_KEY }}'
 
+
       - name: Materialize
-        run: ./nix/rematerialize.sh
+        run: GC_DONT_GC=1 nix run .#update-cabal
+
+      - name: Materialize GHC 9
+        run: GC_DONT_GC=1 nix run .#update-cabal-ghc9
 
       - name: Update branch
         env:

flake.nix

@@ -104,6 +104,7 @@
             "rematerialize-kore-nix-${compiler-nix-name}" ''
               #!/bin/sh
               ${self.stack-nix.passthru.generateMaterialized} ./nix/kore-${compiler-nix-name}.nix.d
+              ${pkgs.nixfmt}/bin/nixfmt ./nix/kore-${compiler-nix-name}.nix.d/*.nix
             '';
         };
 

nix/kore-ghc8107.nix.d/default.nix

@@ -1,32 +1,34 @@
 {
-  extras = hackage:
-    {
-      packages = {
-        "ghc-trace-events" = (((hackage.ghc-trace-events)."0.1.2.1").revisions).default;
-        "monoidal-containers" = (((hackage.monoidal-containers)."0.6.0.1").revisions).default;
-        "newtype" = (((hackage.newtype)."0.2.2.0").revisions).default;
-        "sqlite-simple" = (((hackage.sqlite-simple)."0.4.18.0").revisions).default;
-        "direct-sqlite" = (((hackage.direct-sqlite)."2.3.26").revisions).default;
-        "witherable" = (((hackage.witherable)."0.3.5").revisions).default;
-        "witherable-class" = (((hackage.witherable-class)."0").revisions).default;
-        "co-log" = (((hackage.co-log)."0.4.0.1").revisions).default;
-        "tasty-test-reporter" = (((hackage.tasty-test-reporter)."0.1.1.4").revisions).default;
-        "junit-xml" = (((hackage.junit-xml)."0.1.0.0").revisions).default;
-        "compact" = (((hackage.compact)."0.2.0.0").revisions).default;
-        "decision-diagrams" = (((hackage.decision-diagrams)."0.2.0.0").revisions).default;
-        "ghc-events" = (((hackage.ghc-events)."0.13.0").revisions).default;
-        kore = ./kore.nix;
-        eventlog2speedscope = ./.stack-to-nix.cache.0;
-        pipes-ghc-events = ./.stack-to-nix.cache.1;
-        pipes-sqlite-simple = ./.stack-to-nix.cache.2;
-        };
-      };
+  extras = hackage: {
+    packages = {
+      "ghc-trace-events" =
+        (((hackage.ghc-trace-events)."0.1.2.1").revisions).default;
+      "monoidal-containers" =
+        (((hackage.monoidal-containers)."0.6.0.1").revisions).default;
+      "newtype" = (((hackage.newtype)."0.2.2.0").revisions).default;
+      "sqlite-simple" =
+        (((hackage.sqlite-simple)."0.4.18.0").revisions).default;
+      "direct-sqlite" = (((hackage.direct-sqlite)."2.3.26").revisions).default;
+      "witherable" = (((hackage.witherable)."0.3.5").revisions).default;
+      "witherable-class" = (((hackage.witherable-class)."0").revisions).default;
+      "co-log" = (((hackage.co-log)."0.4.0.1").revisions).default;
+      "tasty-test-reporter" =
+        (((hackage.tasty-test-reporter)."0.1.1.4").revisions).default;
+      "junit-xml" = (((hackage.junit-xml)."0.1.0.0").revisions).default;
+      "compact" = (((hackage.compact)."0.2.0.0").revisions).default;
+      "decision-diagrams" =
+        (((hackage.decision-diagrams)."0.2.0.0").revisions).default;
+      "ghc-events" = (((hackage.ghc-events)."0.13.0").revisions).default;
+      kore = ./kore.nix;
+      eventlog2speedscope = ./.stack-to-nix.cache.0;
+      pipes-ghc-events = ./.stack-to-nix.cache.1;
+      pipes-sqlite-simple = ./.stack-to-nix.cache.2;
+    };
+  };
   resolver = "lts-18.18";
   modules = [
-    ({ lib, ... }:
-      { packages = {}; })
+    ({ lib, ... }: { packages = { }; })
     { packages = { "$everything" = { ghcOptions = [ "-haddock" ]; }; }; }
-    ({ lib, ... }:
-      { planned = lib.mkOverride 900 true; })
-    ];
-  }
+    ({ lib, ... }: { planned = lib.mkOverride 900 true; })
+  ];
+}