adding relevant cachix

coq-community · Nov 13, 2023 · c2e4027 · c2e4027
1 parent 9ebb988
commit c2e4027
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -84,14 +84,13 @@
   ## Below we list some standard ones
   cachix.coq = {};
   cachix.math-comp = {};
-  cachix.coq-community = {};
 
   ## If you have write access to one of these caches you can
   ## provide the auth token or signing key through a secret
   ## variable on GitHub. Then, you should give the variable
   ## name here. For instance, coq-community projects can use
   ## the following line instead of the one above:
-  # cachix.coq-community.authToken = "CACHIX_AUTH_TOKEN";
+  cachix.coq-community.authToken = "CACHIX_AUTH_TOKEN";
 
   ## Or if you have a signing key for a given Cachix cache:
   # cachix.my-cache.signingKey = "CACHIX_SIGNING_KEY"