Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
travis: improve our detection of whether we are on a pull request
authorMartin Quinson <martin.quinson@loria.fr>
Mon, 6 Mar 2017 23:33:30 +0000 (00:33 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Mon, 6 Mar 2017 23:33:34 +0000 (00:33 +0100)
commitf16abb30f768f04c23c3cade67a48a89af45debd
tree896aeaf855db00879c47b736c323d2293ecea068
parentdebf090fa45965e2cdcf537e991996efe15135bf
travis: improve our detection of whether we are on a pull request

Reading the docs sometimes pays off
tools/internal/travis-sonarqube.sh