Read the Docs build information Build id: 1990827 Project: microej-docs Version: feature-bluetooth_platform Commit: None Date: 2024-02-02T11:41:42.533014Z State: finished Success: False [rtd-command-info] start-time: 2024-02-02T11:43:51.334923Z, end-time: 2024-02-02T11:43:56.391103Z, duration: 5, exit-code: 0 git clone --depth 1 git@github.com:MicroEJ/docs.git . Cloning into '.'... Warning: Permanently added 'github.com' (ED25519) to the list of known hosts. [rtd-command-info] start-time: 2024-02-02T11:43:56.451786Z, end-time: 2024-02-02T11:43:59.901235Z, duration: 3, exit-code: 0 git fetch origin --force --prune --prune-tags --depth 50 refs/heads/feature/bluetooth_platform:refs/remotes/origin/feature/bluetooth_platform Warning: Permanently added 'github.com' (ED25519) to the list of known hosts. From github.com:MicroEJ/docs * [new branch] feature/bluetooth_platform -> origin/feature/bluetooth_platform Warning: Permanently added 'github.com' (ED25519) to the list of known hosts. * [new tag] 20211122 -> 20211122 [rtd-command-info] start-time: 2024-02-02T11:44:00.050380Z, end-time: 2024-02-02T11:44:00.553908Z, duration: 0, exit-code: 0 git checkout --force origin/feature/bluetooth_platform Note: switching to 'origin/feature/bluetooth_platform'. 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 60f8d03 Fix some remarks from review. [rtd-command-info] start-time: 2024-02-02T11:44:00.616817Z, end-time: 2024-02-02T11:44:00.675398Z, duration: 0, exit-code: 0 git clean -d -f -f