mirror of
https://github.com/shivammathur/setup-php.git
synced 2025-07-23 23:29:07 +07:00
Fix lowercasing of coverage driver
This commit is contained in:
2
dist/index.js
vendored
2
dist/index.js
vendored
@ -2151,7 +2151,7 @@ exports.disableCoverage = disableCoverage;
|
||||
*/
|
||||
function addCoverage(coverage_driver, version, os_version) {
|
||||
return __awaiter(this, void 0, void 0, function* () {
|
||||
coverage_driver.toLowerCase();
|
||||
coverage_driver = coverage_driver.toLowerCase();
|
||||
const script = '\n' + (yield utils.stepLog('Setup Coverage', os_version));
|
||||
const pipe = yield utils.suppressOutput(os_version);
|
||||
switch (coverage_driver) {
|
||||
|
Reference in New Issue
Block a user