[MediaWiki-commits] [Gerrit] operations...puppet-compiler[master]: Add coverage report

2017-07-17 Thread Giuseppe Lavagetto (Code Review)
Giuseppe Lavagetto has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/363350 ) Change subject: Add coverage report .. Add coverage report Change-Id: I729dbdd6fe3acb78d69a1735250fa184b29cb2f5 --- M

[MediaWiki-commits] [Gerrit] operations...puppet-compiler[master]: Add coverage report

2017-07-05 Thread Giuseppe Lavagetto (Code Review)
Giuseppe Lavagetto has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/363350 ) Change subject: Add coverage report .. Add coverage report Change-Id: I729dbdd6fe3acb78d69a1735250fa184b29cb2f5 --- M