mirror of https://github.com/citusdata/citus.git
Merge pull request #1566 from citusdata/switch_postgres_branch
Switch to Postgres REL_STABLE_10 branchpull/1569/head
commit
e14e5f0d25
|
@ -17,7 +17,7 @@ env:
|
||||||
- PGVERSION=9.6
|
- PGVERSION=9.6
|
||||||
- PGVERSION=10
|
- PGVERSION=10
|
||||||
before_install:
|
before_install:
|
||||||
- git clone -b v0.6.3 --depth 1 https://github.com/citusdata/tools.git
|
- git clone -b v0.6.4 --depth 1 https://github.com/citusdata/tools.git
|
||||||
- sudo make -C tools install
|
- sudo make -C tools install
|
||||||
- setup_apt
|
- setup_apt
|
||||||
- curl https://install.citusdata.com/community/deb.sh | sudo bash
|
- curl https://install.citusdata.com/community/deb.sh | sudo bash
|
||||||
|
|
Loading…
Reference in New Issue