Read the Docs build information Build id: 93707 Project: tiledb-inc-tiledb Version: latest Commit: None Date: 2018-03-14T18:32:25.385390Z State: finished Success: False [rtd-command-info] start-time: 2018-03-14T23:32:28.094502Z, end-time: 2018-03-14T23:32:28.152098Z, duration: 0, exit-code: 0 git remote set-url origin https://github.com/TileDB-Inc/TileDB.git [rtd-command-info] start-time: 2018-03-14T23:32:28.220377Z, end-time: 2018-03-14T23:32:29.635982Z, duration: 1, exit-code: 0 git fetch --tags --prune From https://github.com/TileDB-Inc/TileDB 57e24f4..3737955 dev -> origin/dev + 299cace...4d6fe27 sp/any -> origin/sp/any (forced update) [rtd-command-info] start-time: 2018-03-14T23:32:29.701016Z, end-time: 2018-03-14T23:32:29.712686Z, duration: 0, exit-code: 0 git show-ref remotes/origin/dev 3737955ffe2b6a3a560805a845fe538369ddbd3a refs/remotes/origin/dev [rtd-command-info] start-time: 2018-03-14T23:32:29.776418Z, end-time: 2018-03-14T23:32:29.924889Z, duration: 0, exit-code: 0 git checkout --force origin/dev Previous HEAD position was c5b87ae... Merge pull request #448 from TileDB-Inc/jcb/disable_osx_clangformat2 HEAD is now at 3737955... Merge pull request #446 from TileDB-Inc/sp/any [rtd-command-info] start-time: 2018-03-14T23:32:29.988681Z, end-time: 2018-03-14T23:32:30.988042Z, duration: 0, exit-code: 0 git clean -d -f -f Removing build/ Removing doc/source/gensidebar.pyc [rtd-command-info] start-time: 2018-03-14T23:32:31.051856Z, end-time: 2018-03-14T23:32:31.081972Z, duration: 0, exit-code: 0 git submodule sync [rtd-command-info] start-time: 2018-03-14T23:32:31.166981Z, end-time: 2018-03-14T23:32:31.193528Z, duration: 0, exit-code: 0 git submodule update --init --recursive --force