fix

Author: CohenCyril

.github/workflows/nix-action.yml

@@ -26,7 +26,7 @@ jobs:
         name: math-comp
         extraPullNames:
           - coq
-          authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
+        authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
     - name: Cache Nix Store
       uses: actions/[email protected]
       id: cache-nix
@@ -65,7 +65,7 @@ jobs:
         name: math-comp
         extraPullNames:
           - coq
-          authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
+        authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
     - name: Cache Nix Store
       uses: actions/[email protected]
       id: cache-nix
@@ -104,7 +104,7 @@ jobs:
         name: math-comp
         extraPullNames:
           - coq
-          authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
+        authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
     - name: Cache Nix Store
       uses: actions/[email protected]
       id: cache-nix