diff options
-rw-r--r-- | .circleci/config.yml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index df706dae8..5c02dad3d 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -2,6 +2,9 @@ version: 2 defaults: &defaults docker: - image: ubuntu:14.04 + branches: + ignore: + - gh-pages jobs: build_linux: @@ -27,7 +30,7 @@ jobs: name: Update results to Github command: | # Because the branch filtering does not work for now - if [ "${CIRCLE_BRANCH}" == "doxygen" ]; + if [ "${CIRCLE_BRANCH}" == "doxygen" ]; then mkdir /root/.ssh chmod 0600 /root/.ssh echo 'github.com ssh-rsa AAAAB3NzaC1yc2EAAAABIwAAAQEAq2A7hRGmdnm9tUDbO9IDSwBK6TbQa+PXYPCPy6rbTrTtw7PHkccKrpp0yVhp5HdEIcKr6pLlVDBfOLX9QUsyCOV0wzfjIJNlGEYsdlLJizHhbn2mUjvSAHQqZETYP81eFzLQNnPHt4EVVUh7VfDESU84KezmD5QlWpXLmvU31/yMf+Se8xhHTvKSCZIFImWwoG6mbUoWf9nzpIoaSjB+weqqUUmpaaasXVal72J+UX2B+2RPW3RcT0eOzQgqlJL3RKrTJvdsjE3JEAvGq3lGHSZXy28G3skua2SmVi/w4yCE6gbODqnTWlg7+wC604ydGXA8VJiS5ap43JXiUFFAaQ==' >> ~/.ssh/known_hosts |