Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Revert "blind guess for coverage fix.. [ci-skip]"
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 2 Mar 2022 22:08:37 +0000 (23:08 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 2 Mar 2022 22:08:37 +0000 (23:08 +0100)
commit3f65597ead9e74cb6a84150f072173685964facd
tree999725573f187fa230f8d5a5d0258235cc98bbf8
parent60132441453a8025b1a584dd8cc977ec39364f7f
Revert "blind guess for coverage fix.. [ci-skip]"

This reverts commit a3176f643eb9ca791f6fd555787dd5127da47007.

This makes a double-blind guess... see if it restores correct coverage on sonar.
tools/jenkins/Coverage.sh