tree 2919fe05f0b24efa51b49a2a9c008c8ce66b9822
parent 7c7951391c65989559489cdbfc23446acaa6249c
author Davide Pesavento <davide.pesavento@lip6.fr> 1476369680 +0000
committer Junxiao Shi <git@mail1.yoursunny.com> 1476369680 +0000

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

This was broken since commit e0edc4c06d7218900ab863b2367114a230f4e534

Change-Id: I369e9ad2cb3345ef3a707799e86c3c3beaf83788
Refs: #3418, #3750