tree 7c41c432c9cc6667ffa61799dbeab09b559134dd
parent 465c973274d9d2b74d81666df7ced0d572cfe8ed
author Davide Pesavento <davide.pesavento@lip6.fr> 1476295389 +0200
committer Davide Pesavento <davide.pesavento@lip6.fr> 1476452829 +0200

ci: ensure XML test reports do not clobber the output of previous runs

Change-Id: I3be7022f3171fc56837bdd5c51c8684a5dda0ac4
Refs: #3750