Commit 3004e828 authored by Eric Bruneton's avatar Eric Bruneton

Merge branch 'update_jacoco' into 'master'

Update JaCoCo to version 0.8.4

See merge request !261
parents 6788e706 2ce2155d
Pipeline #5253 passed with stage
in 12 minutes and 8 seconds