RTRLIB-Pull-Request Testing

Build: #133 was successful

Job: Checkout Code was successful

Job result summary

1 second
Custom revisionCustom build
Local agent 10
master master
Successful since
#42 ()

Custom variables

Custom revision
master master

Error summary

The build generated some errors. See the full build log for more details.

From https://github.com/rtrlib/rtrlib
* [new ref]         refs/pull/225/head -> Github_PR225_for_master
Switched to branch 'Github_PR225_for_master'
Note: checking out '7ec727564805e427cdaa54fd1112ae1fa690487d'.

You are in 'detached HEAD' state. You can look around, make experimental
changes and commit them, and you can discard any commits you make in this
state without impacting any branches by performing another checkout.

If you want to create a new branch to retain commits you create, you may
do so (now or later) by using -b with the checkout command again. Example:

  git checkout -b <new-branch-name>

HEAD is now at 7ec7275... travis: do not skip build steps if previous steps fail