Skip to content

Commit

Permalink
Bump version of Nix used on Travis.
Browse files Browse the repository at this point in the history 
Cf. NixOS/nixpkgs#89275.
  • Loading branch information
@Zimmi48
Zimmi48 committed Jun 1, 2020
1 parent eeb7606 commit 566dccd
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions .travis.yml.mustache
View file
Original file line number Diff line number Diff line change
Expand Up @@ -45,6 +45,7 @@ language: shell

.nix: &NIX
language: nix
nix: 2.3.5
script:
- nix-build --argstr coq-version-or-url "$COQ" --extra-substituters https://coq.cachix.org --trusted-public-keys "cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= coq.cachix.org-1:5QW/wwEnD+l2jvN6QRbRRsa4hBHG3QiQQ26cxu1F5tI="

Expand Down

1 comment on commit 566dccd

@Zimmi48
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

FTR, this was done because Nix support on Travis was lagging behind in terms of Nx version, which triggered problems with recent nixpkgs versions. However, Nix support on Travis is back on tracks and now the default Nix version is 2.3.5, which means that we could drop this line again if we want.

Please sign in to comment.