Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add a test for jenkins to try a few configuration options
authordegomme <augustin.degomme@unibas.ch>
Tue, 14 Jun 2016 23:32:33 +0000 (01:32 +0200)
committerdegomme <augustin.degomme@unibas.ch>
Tue, 14 Jun 2016 23:32:33 +0000 (01:32 +0200)
for the nightly build. This should trigger 16 builds for now, which may be a lot.


No differences found