Read the Docs build information Build id: 1815187 Project: microej-docs Version: 792 Commit: 43527ca780ec9fae57cde75ca9ee59c2bed23fc7 Date: 2023-10-31T07:29:52.988053Z State: cancelled Success: False [rtd-command-info] start-time: 2023-10-31T07:29:54.180908Z, end-time: 2023-10-31T07:29:59.343998Z, 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.