 SylvainandGitHub
|
b870568e36
|
[ubuntu] Clean way to disable the pcov PHP Extension (#3472)
* Clean way to disable the pcov PHP Extension
Fixes https://github.com/actions/virtual-environments/issues/3341
* Update php.sh
* Update php.sh
* Documentation
|
2021-06-03 19:12:53 +03:00 |
|