Skip to content
Snippets Groups Projects
Commit 5b3bcd49 authored by Sebastian Nagel's avatar Sebastian Nagel
Browse files

Merge remote-tracking branch 'github/develop' into develop

parents 3b8e431a d5dced34
No related branches found
Tags 0.2.0
No related merge requests found
......@@ -10,7 +10,7 @@ before_script:
cd ~/workspace
git clone https://github.com/frankaemika/libfranka.git
cd libfranka
git checkout ${TRAVIS_PULL_REQUEST_BRANCH:-TRAVIS_BRANCH} || git checkout master
git checkout ${TRAVIS_PULL_REQUEST_BRANCH:-${TRAVIS_BRANCH}} || git checkout develop
git submodule update --init --recursive
- |
cd ~/workspace
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment