wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-23 15:16:50 +00:00
Code Issues Packages Projects Releases Wiki Activity

Publish coverage file

Browse source 
Context [[mw:Topic:Xk10fxsoqth6scfz]]

Change-Id: Ic99cf9bdffdeb56a6182e650d3878902696c0df0
This commit is contained in:
Jon Robson 2023-06-15 08:53:39 -07:00
parent 049729626c
commit bf63e2bc6e
2 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
.gitignore vendored
View file

@ -1,3 +1,4 @@
/coverage/
/docs/js/
/docs/ui/
/docs/php/

2
package.json
View file

@ -13,7 +13,7 @@
"test:lint:styles": "npm -s run linter:styles",
"test:lint:i18n": "banana-checker --requireLowerCase=0 i18n/",
"check-built-assets": "echo 'CHECKING BUILD SOURCES ARE COMMITTED OR STAGED' && npm -s run build && git diff --exit-code resources/dist || { npm run node-debug; false; }",
"coverage": "nyc npm -s run test:unit",
"coverage": "nyc --reporter=lcov npm -s run test:unit",
"doc": "jsdoc -c jsdoc.json && npm run build-storybook",
"linter:js": "eslint --cache .",
"linter:styles": "stylelint 'src/**/*.less'",