Read the Docs build information Build id: 1656452 Project: tiledb-inc-tiledb Version: latest Commit: b42dd3e6f436d1d5637a730af63a6c0c551c1237 Date: 2023-08-11T18:25:32.169052Z State: cancelled Success: False [rtd-command-info] start-time: 2023-08-11T18:25:36.722934Z, end-time: 2023-08-11T18:25:46.327457Z, duration: 9, exit-code: 0 git clone --no-single-branch --depth 50 https://github.com/TileDB-Inc/TileDB.git . Cloning into '.'... [rtd-command-info] start-time: 2023-08-11T18:25:46.681255Z, end-time: 2023-08-11T18:25:46.965653Z, 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 Or undo this operation with: git switch - Turn off this advice by setting config variable advice.detachedHead to false HEAD is now at b42dd3e6f fix serialization of var-size property for nonempty domains (#4264) [rtd-command-info] start-time: 2023-08-11T18:25:47.189119Z, end-time: 2023-08-11T18:25:47.255481Z, duration: 0, exit-code: 0 git clean -d -f -f [rtd-command-info] start-time: 2023-08-11T18:25:47.566266Z, end-time: 2023-08-11T18:25:47.625438Z, 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 build: os: "ubuntu-22.04" tools: python: "3.8" python: install: # this order is important: we need cmake to build doxygen XML for breathe - requirements: tiledb/doxygen/source/requirements.txt