Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'adegomme-master-patch-45262' into 'master'
authorAugustin Degomme <26892-adegomme@users.noreply.framagit.org>
Mon, 29 Aug 2022 08:20:28 +0000 (08:20 +0000)
committerAugustin Degomme <26892-adegomme@users.noreply.framagit.org>
Mon, 29 Aug 2022 08:20:28 +0000 (08:20 +0000)
commitd4c7b012165b778141ed12e6e8f90122f0f0e17a
treefc5150375ad998655d2b4f67c7b433b7c40a7a51
parent7f3720c96d58717e7eb73aaba66b7090a3cdf1e5
parenta8951ba9196887c0bcb2d8af6b96d1a1a9f5ecac
Merge branch 'adegomme-master-patch-45262' into 'master'

let's see if this finds more coverage reports

See merge request simgrid/simgrid!117