merge cov into new build
authorMichael Wallner <mike@php.net>
Tue, 20 Oct 2020 09:48:43 +0000 (11:48 +0200)
committerMichael Wallner <mike@php.net>
Tue, 20 Oct 2020 09:48:43 +0000 (11:48 +0200)
commit8871063e24a37071c2f1d11fa284a389de2d8ce4
treeb4d367c7f59bd8d519d521c1b60934ae5e9a9960
parent448d1a68c0ee7d2e5722acb0b83211b001591660
merge cov into new build
.github/workflows/cmake-build-ci.gen
.github/workflows/cmake-build-ci.yml