diff options
author | Joseph Herlant <herlantj@gmail.com> | 2017-10-29 17:01:17 -0700 |
---|---|---|
committer | Joseph Herlant <herlantj@gmail.com> | 2017-10-29 17:02:34 -0700 |
commit | 23d31fca274d95534e19d08b00ca2ed0946cdff0 (patch) | |
tree | 93f4093c88c67124e33d209fa541ced377022b3e | |
parent | dc9a44bc3c5c98190b308e8a7f57e85a8624ebd1 (diff) | |
download | navit-23d31fca274d95534e19d08b00ca2ed0946cdff0.tar.gz |
Adding branch ignore in the defaultdoxygen
-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 |