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

Try new Debian URL

pull/1976/merge
Jason Petersen 2018-02-07 14:29:25 -07:00
parent 7332244c8c
commit e75eb17130
No known key found for this signature in database
GPG Key ID: 9F1D3510D110ABA9
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.1 --depth 1 https://github.com/citusdata/tools.git
- git clone -b v0.7.6 --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