Skip to content

Commit

Permalink
HACK circleci bug unknown hosts again. #3
Browse files Browse the repository at this point in the history
  • Loading branch information
sinkcup committed May 28, 2019
1 parent 79170f7 commit 01d8808
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions .circleci/config.yml
Original file line number Diff line number Diff line change
Expand Up @@ -51,6 +51,9 @@ jobs: # a collection of steps
- restore_cache:
keys:
- v1-repo-{{ .Environment.CIRCLE_SHA1 }}
- run:
name: Avoid hosts unknown for github
command: mkdir -p ~/.ssh/ && echo -e "Host github.com\n\tStrictHostKeyChecking no\n" > ~/.ssh/config
- run:
name: Install and configure dependencies
command: |
Expand Down

0 comments on commit 01d8808

Please sign in to comment.