diff options
author | jandegr <jandegr@users.noreply.github.com> | 2018-04-23 18:21:22 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-04-23 18:21:22 +0200 |
commit | de4d0e7361a0f36c003b51d5f2c45b95158d4c1c (patch) | |
tree | cee48991b70d37ab6a96c07ecaf0581c7b6a68d2 | |
parent | b1137bf1fae4470f272ccbd80fe532bf14ef8e26 (diff) | |
download | navit-de4d0e7361a0f36c003b51d5f2c45b95158d4c1c.tar.gz |
Update config.yml
-rw-r--r-- | .circleci/config.yml | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index 9a5717f21..cf92324b8 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -209,8 +209,7 @@ workflows: - run_doxygen: requires: - build_linux - - build_android_arm - - build_android_x86 + - build_android - build_win32 - build_wince - build_tomtom_minimal @@ -221,8 +220,7 @@ workflows: - merge_trunk_in_master: requires: - build_linux - - build_android_arm - - build_android_x86 + - build_android - build_win32 - build_wince - build_tomtom_minimal |