Krinkle has uploaded a new change for review.
https://gerrit.wikimedia.org/r/201936
Change subject: Move coverage output from "dist/" to "/coverage"
......................................................................
Move coverage output from "dist/" to "/coverage"
Nothing was stopping it from being published, other than the fact
that our prepublish build script doesn't run unit tests (and as
such doesn't produce a coverage report).
Change-Id: I5dbd155ac94d0e6da20dda06b9762207dae580b7
---
M Gruntfile.js
1 file changed, 2 insertions(+), 2 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/oojs/ui refs/changes/36/201936/1
diff --git a/Gruntfile.js b/Gruntfile.js
index 19a6a8f..e974357 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -327,8 +327,8 @@
},
reporters: [ 'dots', 'coverage' ],
coverageReporter: { reporters: [
- { type: 'html', dir: 'dist/coverage/' },
- { type: 'text-summary', dir:
'dist/coverage/' }
+ { type: 'html', dir: 'coverage/' },
+ { type: 'text-summary', dir:
'coverage/' }
] }
},
other: {
--
To view, visit https://gerrit.wikimedia.org/r/201936
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I5dbd155ac94d0e6da20dda06b9762207dae580b7
Gerrit-PatchSet: 1
Gerrit-Project: oojs/ui
Gerrit-Branch: master
Gerrit-Owner: Krinkle <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
