From 9f21f1a03af474623a23a7efb0eab9f1cddfd5e9 Mon Sep 17 00:00:00 2001
From: Lucas Franceschino <lucas@cryspen.dev>
Date: Thu, 27 Jun 2024 15:27:35 +0200
Subject: [PATCH 1/3] fix(engine/fstar): use `Base.String.hash` instead of
 `String.hash`

---
 engine/backends/fstar/fstar-surface-ast/z.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/engine/backends/fstar/fstar-surface-ast/z.ml b/engine/backends/fstar/fstar-surface-ast/z.ml
index b9c06ce7c..e30361527 100644
--- a/engine/backends/fstar/fstar-surface-ast/z.ml
+++ b/engine/backends/fstar/fstar-surface-ast/z.ml
@@ -5,7 +5,7 @@ let of_t = Base.Int.to_string
 
 let compare = String.compare
 let pp_print = pp
-let hash = String.hash
+let hash = Base.String.hash
 
 
 let to_int: String.t -> Base.Int.t = Base.Int.of_string

From 3565529006c95c11f8f9aabe1adfe20b792a6123 Mon Sep 17 00:00:00 2001
From: Lucas Franceschino <lucas@cryspen.dev>
Date: Thu, 27 Jun 2024 15:33:53 +0200
Subject: [PATCH 2/3] Use cachix to speed up already built dependencies (e.g.
 z3)

---
 .github/workflows/install_and_test.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/install_and_test.yml b/.github/workflows/install_and_test.yml
index 153175e83..f8bd6054b 100644
--- a/.github/workflows/install_and_test.yml
+++ b/.github/workflows/install_and_test.yml
@@ -14,6 +14,10 @@ jobs:
     steps:
     - uses: actions/checkout@v3
     - uses: DeterminateSystems/nix-installer-action@main
+    - uses: cachix/cachix-action@v15
+      with:
+        name: hax
+        skipPush: true
     - uses: DeterminateSystems/magic-nix-cache-action@main
     - name: Build
       run: nix build -L

From 6b2e2e68a8e44bcfe21e1e6b5081c5e81c332b09 Mon Sep 17 00:00:00 2001
From: Lucas Franceschino <lucas@cryspen.dev>
Date: Thu, 27 Jun 2024 16:40:40 +0200
Subject: [PATCH 3/3] fix: cachix already installed

---
 .github/workflows/install_and_test.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/install_and_test.yml b/.github/workflows/install_and_test.yml
index f8bd6054b..67a34828c 100644
--- a/.github/workflows/install_and_test.yml
+++ b/.github/workflows/install_and_test.yml
@@ -51,7 +51,6 @@ jobs:
       env:
         CACHIX_AUTH_TOKEN: ${{ secrets.CACHIX_AUTH_TOKEN }}
       run: |
-        nix profile install nixpkgs#cachix nixpkgs#jq
         nix build .# .#fstar --json \
           | jq -r '.[].outputs | to_entries[].value' \
           | cachix push hax