workflows: docs-publish-pages [ci skip]
authorMichael Wallner <mike@php.net>
Wed, 14 Oct 2020 15:43:58 +0000 (17:43 +0200)
committerMichael Wallner <mike@php.net>
Wed, 14 Oct 2020 15:43:58 +0000 (17:43 +0200)
commit307257e9afb0c61cc0a45a62bb39dbaff290c770
tree8ddd1c41832beccc653f9a5860b2862ee73abd25
parentc0e01749a40fc9006c9aed41ccfbffc1ae085c82
workflows: docs-publish-pages [ci skip]
.github/workflows/cmake-build-ci.gen
.github/workflows/cmake-build-ci.yml
.github/workflows/docs-publish-pages.yml [new file with mode: 0644]