mirror of https://github.com/citusdata/citus.git
parent
32b8235da3
commit
20f84f2396
|
@ -21,6 +21,8 @@ matrix:
|
||||||
- env: PGVERSION=9.6
|
- 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