fix

Author: CohenCyril

.github/workflows/nix-action.yml

@@ -24,8 +24,7 @@ jobs:
       with:
         # Name of a cachix cache to pull/substitute
         name: math-comp
-        extraPullNames:
-          - coq
+        extraPullNames: coq
         authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
     - name: Cache Nix Store
       uses: actions/[email protected]
@@ -63,8 +62,7 @@ jobs:
       with:
         # Name of a cachix cache to pull/substitute
         name: math-comp
-        extraPullNames:
-          - coq
+        extraPullNames: coq
         authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
     - name: Cache Nix Store
       uses: actions/[email protected]
@@ -102,8 +100,7 @@ jobs:
       with:
         # Name of a cachix cache to pull/substitute
         name: math-comp
-        extraPullNames:
-          - coq
+        extraPullNames: coq
         authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
     - name: Cache Nix Store
       uses: actions/[email protected]