Add option to disable coverage drivers

This commit is contained in:
Shivam Mathur
2019-10-05 15:00:00 +05:30
parent f866c880c2
commit 754ab9515b
7 changed files with 98 additions and 14 deletions

View File

@ -1,6 +1,6 @@
{
"name": "setup-php",
"version": "1.3.8",
"version": "1.3.9",
"private": false,
"description": "Setup php action",
"main": "lib/setup-php.js",