external
/
citus
mirror of https://github.com/citusdata/citus.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #2246 from citusdata/bump-tools-version 

Bump tools version in .travis.yml
pull/2248/head
Murat Tuncer 2018-07-02 15:44:36 +03:00 committed by GitHub
parent 1c95d5d497 06589131d7
commit a3f1350bfe
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.travis.yml
View File

@ -22,7 +22,7 @@ matrix:
allow_failures:
- env: PGVERSION=11
before_install:
- git clone -b v0.7.6 --depth 1 https://github.com/citusdata/tools.git
- git clone -b v0.7.8 --depth 1 https://github.com/citusdata/tools.git
- sudo make -C tools install
- setup_apt
- curl https://install.citusdata.com/community/deb.sh | sudo bash