github: update workflows [ci skip]
authorMichael Wallner <mike@php.net>
Fri, 23 Oct 2020 08:24:51 +0000 (10:24 +0200)
committerMichael Wallner <mike@php.net>
Fri, 23 Oct 2020 08:24:51 +0000 (10:24 +0200)
commit854fd3ff4a8d940225923fdc0620f31c483bff21
tree852b6d35f139a802dfbe07840b3a6cb098b40097
parent2022f0a313c4cbe914ea1976c539cd0c436a88a8
github: update workflows [ci skip]
.github/workflows/cmake-build-ci.gen
.github/workflows/cmake-build-ci.yml
.github/workflows/docs-publish-pages.yml