actions/setup-php
1
0
Fork 0
mirror of https://github.com/shivammathur/setup-php.git synced 2025-07-22 23:03:28 +07:00
Code Issues Packages Projects Releases Wiki Activity

Set ini values after coverage setup

Browse Source
This commit is contained in:
Shivam Mathur
2020-07-08 07:45:11 +05:30
parent d313593fee
commit 1d50c4a8cd
3 changed files with 9 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
dist/index.js vendored
View File

@ -3263,12 +3263,12 @@ async function build(filename, version, os_version) {
if (extension_csv) {
script += await extensions.addExtension(extension_csv, version, os_version);
}
if (ini_values_csv) {
script += await config.addINIValues(ini_values_csv, os_version);
}
if (coverage_driver) {
script += await coverage.addCoverage(coverage_driver, version, os_version);
}
if (ini_values_csv) {
script += await config.addINIValues(ini_values_csv, os_version);
}
return await utils.writeScript(filename, script);
}
exports.build = build;