Read the Docs build information
Build id: 1158496
Project: tiledb-inc-tiledb
Version: latest
Commit: b4a6579cbf40bb7c5cd475cefe5b8a85f5e52f3d
Date: 2022-10-28T13:28:59.053817Z
State: cancelled
Success: False


[rtd-command-info] start-time: 2022-10-28T13:29:01.140007Z, end-time: 2022-10-28T13:29:14.234694Z, duration: 13, exit-code: 0
git clone --no-single-branch --depth 50 https://github.com/TileDB-Inc/TileDB.git .
Cloning into '.'...

[rtd-command-info] start-time: 2022-10-28T13:29:14.446676Z, end-time: 2022-10-28T13:29:14.690052Z, duration: 0, exit-code: 0
git checkout --force origin/dev
Note: switching to 'origin/dev'.

You are in 'detached HEAD' state. You can look around, make experimental
changes and commit them, and you can discard any commits you make in this
state without impacting any branches by switching back to a branch.

If you want to create a new branch to retain commits you create, you may
do so (now or later) by using -c with the switch command. Example:

  git switch -c <new-branch-name>

Or undo this operation with:

  git switch -

Turn off this advice by setting config variable advice.detachedHead to false

HEAD is now at b4a6579cb Remove WhiteboxTile. (#3612)

[rtd-command-info] start-time: 2022-10-28T13:29:15.027856Z, end-time: 2022-10-28T13:29:15.094792Z, duration: 0, exit-code: 0
git clean -d -f -f