diff options
Diffstat (limited to 'maintainers')
| -rwxr-xr-x | maintainers/scripts/travis-nox-review-pr.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/maintainers/scripts/travis-nox-review-pr.sh b/maintainers/scripts/travis-nox-review-pr.sh index 3c9bcbbde9b0..4897f970abb4 100755 --- a/maintainers/scripts/travis-nox-review-pr.sh +++ b/maintainers/scripts/travis-nox-review-pr.sh @@ -1,6 +1,8 @@ #! /usr/bin/env bash set -e +export NIX_CURL_FLAGS=-sS + # Install Nix bash <(curl https://nixos.org/nix/install) source $HOME/.nix-profile/etc/profile.d/nix.sh |