Read the Docs build information Build id: 1606068 Project: openhw-group-cv32e40p-user-manual Version: latest Commit: 38775b4269afd781374df708dd3f218b8b9e0c18 Date: 2023-07-18T17:06:18.891220Z State: cancelled Success: False [rtd-command-info] start-time: 2023-07-18T17:06:23.378405Z, end-time: 2023-07-18T17:06:26.611014Z, duration: 3, exit-code: 0 git clone --no-single-branch --depth 50 https://github.com/openhwgroup/cv32e40p.git . Cloning into '.'... [rtd-command-info] start-time: 2023-07-18T17:06:26.998216Z, end-time: 2023-07-18T17:06:27.114946Z, 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 38775b4 Merge pull request #836 from pascalgouedo/dev_dd_pgo_doc [rtd-command-info] start-time: 2023-07-18T17:06:27.423672Z, end-time: 2023-07-18T17:06:27.497994Z, duration: 0, exit-code: 0 git clean -d -f -f [rtd-command-info] start-time: 2023-07-18T17:06:29.975958Z, end-time: 2023-07-18T17:06:42.328075Z, duration: 12, exit-code: 0 python3.7 -mvirtualenv $READTHEDOCS_VIRTUALENV_PATH Using base prefix '/home/docs/.pyenv/versions/3.7.9' New python executable in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-cv32e40p-user-manual/envs/latest/bin/python3.7 Also creating executable in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-cv32e40p-user-manual/envs/latest/bin/python Installing setuptools, pip, wheel... done. [rtd-command-info] start-time: 2023-07-18T17:06:42.786541Z, end-time: 2023-07-18T17:06:44.096843Z, duration: 1, exit-code: 0 python -m pip install --upgrade --no-cache-dir pip setuptools Requirement already satisfied: pip in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-cv32e40p-user-manual/envs/latest/lib/python3.7/site-packages (23.2) Requirement already satisfied: setuptools in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-cv32e40p-user-manual/envs/latest/lib/python3.7/site-packages (68.0.0)