@pquentin The docs build fails because of this error:
15:23:37 INFO:build_docs:Failed to add the ECDSA host key for IP address '140.82.113.3' to the list of known hosts (/tmp/.ssh/known_hosts).
15:23:37 INFO:build_docs:To github.com:elastic/built-docs
15:23:37 INFO:build_docs: ! [rejected] eland_614 -> eland_614 (fetch first)
15:23:37 INFO:build_docs:error: failed to push some refs to 'git@github.com:elastic/built-docs'
15:23:37 INFO:build_docs:hint: Updates were rejected because the remote contains work that you do
15:23:37 INFO:build_docs:hint: not have locally. This is usually caused by another repository pushing
15:23:37 INFO:build_docs:hint: to the same ref. You may want to first integrate the remote changes
15:23:37 INFO:build_docs:hint: (e.g., 'git pull ...') before pushing again.
15:23:37 INFO:build_docs:hint: See the 'Note about fast-forwards' in 'git push --help' for details.
15:23:37 INFO:build_docs:
15:23:37 INFO:build_docs:---------
@pquentin The docs build fails because of this error:
Do you find it familiar?