Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' into 'master'
authorAugustin Degomme <adegomme@gmail.com>
Sat, 27 Mar 2021 13:18:44 +0000 (13:18 +0000)
committerAugustin Degomme <adegomme@gmail.com>
Sat, 27 Mar 2021 13:18:44 +0000 (13:18 +0000)
commit70472a294975ace9252361faf4a3bbe42f98a51e
tree5dee6e06c220389b198bf771df757def72a8cc3e
parent5b20234fb56b5cdbc975868ad32603ac146b9d1a
parenta4057d86806dd7f097f567c067db7d9795f173fd
Merge branch 'master' into 'master'

add ctest output to gitlab ci

See merge request simgrid/simgrid!60