diff options
| author | Georges Dubus <georges.dubus@compiletoi.net> | 2014-10-31 14:47:51 +0100 |
|---|---|---|
| committer | Georges Dubus <georges.dubus@compiletoi.net> | 2014-10-31 14:49:51 +0100 |
| commit | d7af81d2dcbc28a4185578f07301d2ee4cf767e2 (patch) | |
| tree | 8fc64f512595ede1c266ce8d564ec3804317d61b /maintainers | |
| parent | b73816d26b6893b28b71328e127e0a2e2700eb48 (diff) | |
| download | nixpkgs-d7af81d2dcbc28a4185578f07301d2ee4cf767e2.tar nixpkgs-d7af81d2dcbc28a4185578f07301d2ee4cf767e2.tar.gz nixpkgs-d7af81d2dcbc28a4185578f07301d2ee4cf767e2.tar.bz2 nixpkgs-d7af81d2dcbc28a4185578f07301d2ee4cf767e2.tar.lz nixpkgs-d7af81d2dcbc28a4185578f07301d2ee4cf767e2.tar.xz nixpkgs-d7af81d2dcbc28a4185578f07301d2ee4cf767e2.tar.zst nixpkgs-d7af81d2dcbc28a4185578f07301d2ee4cf767e2.zip | |
Make travis use "nox-review pr"
This should put an end to all the false rebuilds reported by travis.
Diffstat (limited to 'maintainers')
| -rwxr-xr-x | maintainers/scripts/travis-nox-review-pr.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/maintainers/scripts/travis-nox-review-pr.sh b/maintainers/scripts/travis-nox-review-pr.sh index baee1baa11f..1c117c6add9 100755 --- a/maintainers/scripts/travis-nox-review-pr.sh +++ b/maintainers/scripts/travis-nox-review-pr.sh @@ -32,9 +32,7 @@ elif [[ $1 == build ]]; then nix-build pkgs/top-level/release.nix -A tarball else echo "=== Checking PR" - # The current HEAD is the PR merged into origin/master, so we compare - # against origin/master - nox-review wip --against origin/master + nox-review pr ${TRAVIS_PULL_REQUEST} fi else echo "$0: Unknown option $1" >&2 |