fix: Nix build on Travis CI

href: coq-community/templates@566dccd
coq-community · Jun 19, 2020 · 9debf09 · 9debf09
1 parent 9994026
commit 9debf09
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -42,6 +42,7 @@ language: shell
 
 .nix: &NIX
   language: nix
+  nix: 2.3.5
   script:
   - nix-build --argstr coq-url "$COQ" --extra-substituters https://coq.cachix.org --trusted-public-keys "cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= coq.cachix.org-1:5QW/wwEnD+l2jvN6QRbRRsa4hBHG3QiQQ26cxu1F5tI="