From d9de6c631cd27fa0cedd032a08a81f13b3ed54ad Mon Sep 17 00:00:00 2001
From: Lucas Franceschino <lucas@cryspen.com>
Date: Mon, 10 Nov 2025 10:10:18 +0100
Subject: [PATCH] Rely on magic nix cache action instead of Cachix

This PR makes the action use https://github.com/DeterminateSystems/magic-nix-cache-action/ to cache hax and F* builds.

It seems like the cachix cache isn't populated correctly.
I am maintaining this cache for F*, since I'm leaving this cache will not be maintained any longer, so going with Magic nix cache is preferable.
---
 action.yml | 13 +------------
 1 file changed, 1 insertion(+), 12 deletions(-)

diff --git a/action.yml b/action.yml
index 1e9866d..c5fdc69 100644
--- a/action.yml
+++ b/action.yml
@@ -15,25 +15,14 @@ runs:
     - uses: DeterminateSystems/nix-installer-action@v4
       with:
         determinate: true
-    - name: Install & configure Cachix
-      shell: bash
-      run: |
-        nix-env --quiet -j8 -iA cachix -f https://cachix.org/api/v1/install
-        cachix use hax
-        cachix use fstar-nix-versions
-    
+    - uses: DeterminateSystems/magic-nix-cache-action@main
     - name: Install F*
       shell: bash
       run: nix profile install "$FLAKE"
       env:
         FLAKE: "github:fstarlang/fstar/${{ inputs.fstar }}"
-
     - name: Install hax
       shell: bash
       run: nix profile install "$FLAKE"#hax
       env:
         FLAKE: "${{ inputs.hax_repository }}/${{ inputs.hax_reference }}"
-
-
-
-