diff options
author | Matt Stratton <matt.stratton@gmail.com> | 2019-11-16 18:46:03 +0300 |
---|---|---|
committer | Matt Stratton <matt.stratton@gmail.com> | 2019-11-16 18:46:03 +0300 |
commit | b295ff6cc250ea1b827e8dc4bd52e1703db449fd (patch) | |
tree | c76c8a57e92344dceb4dc31f8e1df1e5dfebcbdc | |
parent | c985022048ddaf5831ab75a058e10ab94db98cb2 (diff) |
Allow github stuff
-rw-r--r-- | .circleci/config.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index da494e0..7c55c18 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -128,6 +128,9 @@ jobs: steps: - run: + name: Avoid hosts unknown for github + command: mkdir ~/.ssh/ && echo -e "Host github.com\n\tStrictHostKeyChecking no\n" > ~/.ssh/config + - run: name: "Checkout tag" command: git clone --branch "${CIRCLE_TAG}" --depth 1 "${CIRCLE_REPOSITORY_URL}" - run: |