mirror of https://github.com/citusdata/citus.git
parent
21f72f5002
commit
183b2d6c06
|
@ -18,11 +18,8 @@ env:
|
||||||
matrix:
|
matrix:
|
||||||
fast_finish: true
|
fast_finish: true
|
||||||
include:
|
include:
|
||||||
- env: PGVERSION=9.6
|
|
||||||
- env: PGVERSION=10
|
- env: PGVERSION=10
|
||||||
- env: PGVERSION=11
|
- env: PGVERSION=11
|
||||||
allow_failures:
|
|
||||||
- env: PGVERSION=9.6
|
|
||||||
before_install:
|
before_install:
|
||||||
- git clone -b v0.7.9 --depth 1 https://github.com/citusdata/tools.git
|
- git clone -b v0.7.9 --depth 1 https://github.com/citusdata/tools.git
|
||||||
- sudo make -C tools install
|
- sudo make -C tools install
|
||||||
|
|
Loading…
Reference in New Issue