Read the Docs build information
Build id: 1815185
Project: microej-docs
Version: 792
Commit: ebdcdf9f5d03a493a62f78480f77f86d044258ea
Date: 2023-10-31T07:29:44.850420Z
State: cancelled
Success: False


[rtd-command-info] start-time: 2023-10-31T07:29:45.959820Z, end-time: 2023-10-31T07:29:51.239989Z, 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: 2023-10-31T07:29:51.297379Z, end-time: 2023-10-31T07:29:52.989231Z, duration: 1, exit-code: 0
git fetch origin --force --prune --prune-tags --depth 50 pull/792/head:external-792
Warning: Permanently added 'github.com' (ED25519) to the list of known hosts.
From github.com:MicroEJ/docs
 * [new ref]         refs/pull/792/head -> external-792