Use Cachix on CI (#3017)

Author: martijnbastiaan

.ci/build_and_publish_nix.sh

@@ -0,0 +1,12 @@
+#!/bin/sh
+set -euo pipefail
+
+nix \
+  --extra-experimental-features nix-command \
+  --extra-experimental-features flakes \
+  build -j$THREADS --log-format raw --max-silent-time 3600 "$@"
+
+nix \
+  --extra-experimental-features nix-command \
+  --extra-experimental-features flakes \
+  build --no-link --print-out-paths "$@" | cachix push clash-lang

.ci/build_nix.sh

@@ -0,0 +1,6 @@
+#!/bin/sh
+set -euo pipefail
+
+nix-env -iA cachix -f https://cachix.org/api/v1/install
+
+cachix use clash-lang

.ci/setup_cachix.sh

@@ -93,18 +93,20 @@ nix-build:
    - export THREADS=$(./.ci/effective_cpus.sh)
    - export
   script:
-    - .ci/build_nix.sh .#clash-prelude
-    - .ci/build_nix.sh .#clash-prelude-hedgehog
-    - .ci/build_nix.sh .#clash-lib
-    - .ci/build_nix.sh .#clash-lib-hedgehog
-    - .ci/build_nix.sh .#clash-ghc
-    - .ci/build_nix.sh .#clash-cosim
-    - .ci/build_nix.sh .#clash-ffi
-    - .ci/build_nix.sh .#clash-testsuite
-    - .ci/build_nix.sh .#clash-benchmark
-    - .ci/build_nix.sh .#clash-profiling-prepare
-    - .ci/build_nix.sh .#clash-profiling
-    - .ci/build_nix.sh .#clash-term
+    - .ci/setup_cachix.sh
+
+    - .ci/build_and_publish_nix.sh .#clash-prelude
+    - .ci/build_and_publish_nix.sh .#clash-prelude-hedgehog
+    - .ci/build_and_publish_nix.sh .#clash-lib
+    - .ci/build_and_publish_nix.sh .#clash-lib-hedgehog
+    - .ci/build_and_publish_nix.sh .#clash-ghc
+    - .ci/build_and_publish_nix.sh .#clash-cosim
+    - .ci/build_and_publish_nix.sh .#clash-ffi
+    - .ci/build_and_publish_nix.sh .#clash-testsuite
+    - .ci/build_and_publish_nix.sh .#clash-benchmark
+    - .ci/build_and_publish_nix.sh .#clash-profiling-prepare
+    - .ci/build_and_publish_nix.sh .#clash-profiling
+    - .ci/build_and_publish_nix.sh .#clash-term
   tags:
     - local