diff options
Diffstat (limited to '.circleci/config.yml')
| -rw-r--r-- | .circleci/config.yml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index 4556de0b1..76982f54b 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -158,12 +158,18 @@ jobs: <<: *defaults steps: - checkout + - run: + name: Install git + command: apt-get update && apt-get -y install ca-certificates git + - run: + name: configure ssh git + command: mkdir -p ~/.ssh/ && ssh-keyscan -t rsa github.com >> ~/.ssh/known_hosts - add_ssh_keys: fingerprints: - "16:27:ac:a5:76:28:2d:36:63:1b:56:4d:eb:df:a6:48" - run: name: Update results to Github - command: git push origin $CIRCLE_SHA1:refs/heads/master + command: export GIT_TERMINAL_PROMPT=0 && git push origin $CIRCLE_SHA1:refs/heads/master workflows: version: 2 doxygen: |