github: update workflow [ci skip]
authorMichael Wallner <mike@php.net>
Fri, 23 Oct 2020 19:06:13 +0000 (21:06 +0200)
committerMichael Wallner <mike@php.net>
Fri, 23 Oct 2020 19:06:13 +0000 (21:06 +0200)
commitadd22f4e7d77dc4d95a5ae0fda90e56a1050e1e1
tree58b75585a6f34c888de50a1113c0c21c225a7f44
parentcb40bfe8923a2b06160a965d95b45ca0ea3421ab
github: update workflow [ci skip]
.github/workflows/cmake-build-ci.gen
.github/workflows/cmake-build-ci.yml