Merge branch 'coverage-regex' into 'master'534e939500706af0ea02b56cffa22202014f578e
commit534e939500706af0ea02b56cffa22202014f578e
authorEmmanuele Bassi <ebassi@gmail.com>
Fri, 25 May 2018 02:00:33 +0000 (25 02:00 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Fri, 25 May 2018 02:00:33 +0000 (25 02:00 +0000)
treedc97fae978067a5a6a3df5931c724b159b7508c8
parentf92d179f778e80eb69098041e79bf13677f8bb07
parent524d96fd92ff0a8d490bf45d67919d00f042ddc6
Merge branch 'coverage-regex' into 'master'

ci: Add a regex to parse line coverage statistics from genhtml output

See merge request GNOME/glib!5