fix coverage
authorMichael Wallner <mike@php.net>
Fri, 15 Jan 2021 09:00:17 +0000 (10:00 +0100)
committerMichael Wallner <mike@php.net>
Fri, 15 Jan 2021 09:00:17 +0000 (10:00 +0100)
commit06ff626a7330b1abb0bdb15f35a9958d23020c6f
tree86f6070de56d0086d618e9e76a7c344a32a25b2a
parent26afca22652e1f579966787e0c2219267a7aaae7
fix coverage
.github/workflows/ci.yml
scripts/gen_github_workflow_ci.php