Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
have description use current build and not latest one (which may have been cancelled...
authorAugustin Degomme <degomme@wasabi>
Mon, 15 Oct 2018 13:42:13 +0000 (15:42 +0200)
committerAugustin Degomme <degomme@wasabi>
Mon, 15 Oct 2018 13:42:13 +0000 (15:42 +0200)
commite529d79c390578099d7b5e3cbb779eb8dc4bed90
treee1e0e06add2342bfedf92bcd32153df775009a70
parent0e80c1ab49011f9512b4278979123375d9135ff2
have description use current build and not latest one (which may have been cancelled before the current one finished)
tools/jenkins/project_description.sh