Re: [Tei-council] GitHub & CI server questions

Thanks Peter!

ad 1) the Travis-CI picks up automatically every branch and even every pull request. It’s building it (the testing it) but *not* archiving the artifacts. ad 2) these icons depict the status of the Travis build: green eq „build succeeded“, orange/yellow eq „build currently ongoing“, red eq „build failed“. You can click on these icons and you’ll get detailed information (thanks to the neat GitHub integration of Travis)