Read the Docs build information Build id: 1164626 Project: microej-docs Version: latest Commit: 79755a99489979acb758063d9ee0e6fb0540b080 Date: 2022-11-02T12:20:16.793197Z State: cancelled Success: False [rtd-command-info] start-time: 2022-11-02T12:20:18.902035Z, end-time: 2022-11-02T12:20:25.910642Z, duration: 7, exit-code: 0 git clone --no-single-branch --depth 50 git@github.com:MicroEJ/docs.git . Cloning into '.'... Warning: Permanently added 'github.com,192.30.255.112' (ECDSA) to the list of known hosts. [rtd-command-info] start-time: 2022-11-02T12:20:26.100440Z, end-time: 2022-11-02T12:20:26.728522Z, duration: 0, exit-code: 0 git checkout --force origin/master Note: switching to 'origin/master'. 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 79755a9 Merge pull request #467 from MicroEJ/feature/M0078DDG-407_links_to_modules [rtd-command-info] start-time: 2022-11-02T12:20:27.122933Z, end-time: 2022-11-02T12:20:27.217885Z, duration: 0, exit-code: 0 git clean -d -f -f