Merge pull request #126 from awesomized/gh-actions
authorMichael Wallner <mike@php.net>
Tue, 9 Aug 2022 09:00:28 +0000 (11:00 +0200)
committerGitHub <noreply@github.com>
Tue, 9 Aug 2022 09:00:28 +0000 (11:00 +0200)
cmake: attempt to fix gh-actions not declaring HAVE_PTHREAD_H


Trivial merge