feat(ci/hax): install with Nix to safe ~12 minutes

cryspen · Feb 5, 2024 · 7a77b24 · 7a77b24
1 parent fdbe548
commit 7a77b24
Showing 1 changed file with 4 additions and 10 deletions.
diff --git a/.github/workflows/hax.yml b/.github/workflows/hax.yml
@@ -35,11 +35,6 @@ jobs:
       - uses: DeterminateSystems/nix-installer-action@main
       - uses: DeterminateSystems/magic-nix-cache-action@main
 
-      - name: 🔨 OCaml Setup
-        uses: ocaml/setup-ocaml@v2
-        with:
-          ocaml-compiler: 4.14.1
-
       - name: ⤵ Install FStar
         run: nix profile install github:FStarLang/FStar/v2024.01.13
 
@@ -55,12 +50,11 @@ jobs:
           repository: hacspec/hacspec-v2
           path: hax
 
-      - name: 🔨 Setup hax
-        working-directory: hax
+      - name: ⤵ Install hax
         run: |
-          sudo apt-get update
-          sudo apt-get install --yes nodejs
-          ./setup.sh
+          nix profile install nixpkgs#cachix
+          cachix use hax
+          nix profile install ./hax
 
       - name: 🏃 Extract the Kyber reference code
         run: |