checkout master branch for latest TileDB stable version
@@ -14,6 +14,7 @@ install:
- pushd ./build # . -> ./build
- git clone https://github.com/TileDB-Inc/TileDB
- pushd TileDB # ./build -> ./build/TileDB
+ - git checkout master
- scripts/install-deps.sh
- mkdir build
- pushd ./build # ./build/TileDB/build
