Read the Docs build information Build id: 2345451 Project: tiledb-inc-tiledb Version: 3979 Commit: 535d352aff3f231901679dabefb499419a8f6eae Date: 2024-07-12T11:43:06.940875Z State: finished Success: False [rtd-command-info] start-time: 2024-07-12T11:43:08.138239Z, end-time: 2024-07-12T11:43:09.596155Z, duration: 1, exit-code: 0 git clone --depth 1 https://github.com/TileDB-Inc/TileDB.git . Cloning into '.'... [rtd-command-info] start-time: 2024-07-12T11:43:09.658691Z, end-time: 2024-07-12T11:43:11.001232Z, duration: 1, exit-code: 0 git fetch origin --force --prune --prune-tags --depth 50 pull/3979/head:external-3979 From https://github.com/TileDB-Inc/TileDB * [new ref] refs/pull/3979/head -> external-3979 [rtd-command-info] start-time: 2024-07-12T11:43:11.143319Z, end-time: 2024-07-12T11:43:11.399119Z, duration: 0, exit-code: 0 git checkout --force 535d352aff3f231901679dabefb499419a8f6eae Note: switching to '535d352aff3f231901679dabefb499419a8f6eae'. 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 Or undo this operation with: git switch - Turn off this advice by setting config variable advice.detachedHead to false HEAD is now at 535d352 Fix CI. [rtd-command-info] start-time: 2024-07-12T11:43:11.464745Z, end-time: 2024-07-12T11:43:11.525827Z, duration: 0, exit-code: 0 cat .readthedocs.yml # Don't build any extra formats formats: [] # Use RTD config version 2 # https://docs.readthedocs.io/en/stable/config-file/v2.html version: 2 sphinx: configuration: tiledb/doxygen/source/conf.py python: version: 3.8 install: # this order is important: we need cmake to build doxygen XML for breathe - requirements: tiledb/doxygen/source/requirements.txt