diff options
author | Domen Kožar <domen@dev.si> | 2016-08-13 14:17:59 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-08-13 14:17:59 +0200 |
commit | 49222660fc70a3cf27b67368afae96b691ec7260 (patch) | |
tree | bcc8ef5437c2aeefac00866343978ff8fa6f1013 /maintainers | |
parent | 5164b2dec37c6911bea79f40b73ec2535db89a58 (diff) | |
parent | a30a34b6f36fa1e51c84b29ed0fe6a231e849f28 (diff) |
Merge pull request #17256 from matthewbauer/patch-4
Travis fixes
Diffstat (limited to 'maintainers')
-rwxr-xr-x | maintainers/scripts/travis-nox-review-pr.sh | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/maintainers/scripts/travis-nox-review-pr.sh b/maintainers/scripts/travis-nox-review-pr.sh index 13df5087fad5c..8ff2258162fb4 100755 --- a/maintainers/scripts/travis-nox-review-pr.sh +++ b/maintainers/scripts/travis-nox-review-pr.sh @@ -44,6 +44,13 @@ while test -n "$1"; do nix-shell --packages nixpkgs-lint --run "nixpkgs-lint -f $TRAVIS_BUILD_DIR" ;; + nox) + echo "=== Fetching Nox from binary cache" + + # build nox silently so it's not in the log + nix-build "<nixpkgs>" -A nox + ;; + pr) if [ "$TRAVIS_PULL_REQUEST" == "false" ]; then echo "=== No pull request found" @@ -55,7 +62,7 @@ while test -n "$1"; do token="--token $GITHUB_TOKEN" fi - nix-shell --packages nox git --run "nox-review pr --slug $TRAVIS_REPO_SLUG $token $TRAVIS_PULL_REQUEST" + nix-shell --packages nox --run "nox-review pr --slug $TRAVIS_REPO_SLUG $token $TRAVIS_PULL_REQUEST" fi ;; |