cmake: CI fixes
authorMichael Wallner <mike@php.net>
Thu, 17 Dec 2020 07:24:55 +0000 (08:24 +0100)
committerMichael Wallner <mike@php.net>
Thu, 17 Dec 2020 07:43:38 +0000 (08:43 +0100)

No differences found