fix

Author: CohenCyril

.github/workflows/nix-action.yml

@@ -19,6 +19,14 @@ jobs:
       uses: cachix/install-nix-action@v12
       with:
         nix_path: nixpkgs=channel:nixpkgs-unstable
+    - name: Cachix setup
+      uses: cachix/cachix-action@v8
+      with:
+        # Name of a cachix cache to pull/substitute
+        name: math-comp
+        extraPullNames:
+          - coq
+          authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
     - name: Cache Nix Store
       uses: actions/[email protected]
       id: cache-nix
@@ -37,7 +45,7 @@ jobs:
     - name: Build
       run: nix-build --arg ci true --arg ci-step 0
     - name: Compute Closure
-      run: nix path-info -r | tee closure.txt
+      run: nix-build --arg ci true --arg ci-step 0 | xargs nix path-info -r | tee closure.txt
     - name: Export Nix Store
       run: xargs --arg-file=closure.txt nix-store --export > nix-store.nar
 
@@ -50,6 +58,14 @@ jobs:
       uses: cachix/install-nix-action@v12
       with:
         nix_path: nixpkgs=channel:nixpkgs-unstable
+    - name: Cachix setup
+      uses: cachix/cachix-action@v8
+      with:
+        # Name of a cachix cache to pull/substitute
+        name: math-comp
+        extraPullNames:
+          - coq
+          authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
     - name: Cache Nix Store
       uses: actions/[email protected]
       id: cache-nix
@@ -68,7 +84,7 @@ jobs:
     - name: Build
       run: nix-build --arg ci true --arg ci-step 1
     - name: Compute Closure
-      run: nix path-info -r | tee closure.txt
+      run: nix-build --arg ci true --arg ci-step 1 | xargs nix path-info -r | tee closure.txt
     - name: Export Nix Store
       run: xargs --arg-file=closure.txt nix-store --export > nix-store.nar
 
@@ -81,6 +97,14 @@ jobs:
       uses: cachix/install-nix-action@v12
       with:
         nix_path: nixpkgs=channel:nixpkgs-unstable
+    - name: Cachix setup
+      uses: cachix/cachix-action@v8
+      with:
+        # Name of a cachix cache to pull/substitute
+        name: math-comp
+        extraPullNames:
+          - coq
+          authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
     - name: Cache Nix Store
       uses: actions/[email protected]
       id: cache-nix
@@ -97,8 +121,8 @@ jobs:
       with:
         fetch-depth: 0
     - name: Build
-      run: nix-build --arg ci true --arg ci-step 1
+      run: nix-build --arg ci true --arg ci-step 2
     - name: Compute Closure
-      run: nix path-info -r | tee closure.txt
+      run: nix-build --arg ci true --arg ci-step 2 | xargs nix path-info -r | tee closure.txt
     - name: Export Nix Store
       run: xargs --arg-file=closure.txt nix-store --export > nix-store.nar

meta.yml

@@ -68,6 +68,11 @@ dependencies:
   description: |-
     [Coq elpi](https://github.com/LPCIC/coq-elpi)
 
+cachix:
+  name: math-comp
+  extraPullNames: coq
+  token: CACHIX_AUTH_TOKEN
+
 make_install_flags: "VFILES=structures.v"
 
 documentation: |-