From f95fc63a1184d44d14d16590391f66ccb475535a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Pawe=C5=82=20Chrz=C4=85szcz?= Date: Tue, 16 May 2023 13:29:59 +0200 Subject: [PATCH] Add github to known hosts to avoid the unknown host error The issue is present only when the docs are deployed from 'master', because there is no 'checkout' step now (the workspace is restored instead), and push access is needed in git. --- .circleci/template.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.circleci/template.yml b/.circleci/template.yml index 56dd5c901e..4e045f79c7 100644 --- a/.circleci/template.yml +++ b/.circleci/template.yml @@ -488,6 +488,7 @@ jobs: - run: name: Build latest command: | + ssh-keyscan github.com >> ~/.ssh/known_hosts git fetch git@github.com:esl/MongooseDocs.git gh-pages:gh-pages pip3 install mike mike deploy $DOCS_TAG --remote git@github.com:esl/MongooseDocs.git --branch gh-pages --push --rebase