ci: docs: make sure they are built for releases and manually
authorMichael Wallner <mike@php.net>
Mon, 28 Dec 2020 13:21:31 +0000 (14:21 +0100)
committerMichael Wallner <mike@php.net>
Mon, 28 Dec 2020 13:21:31 +0000 (14:21 +0100)
commit1c8873029bc4d36c4c10cd453a3b631d2e98060d
tree8c1d5084c347c78c63c696fcce6ee17fc308d3f1
parent8e9e8f3d0fc148e58e90a9404f46b1c1adea1644
ci: docs: make sure they are built for releases and manually
.github/workflows/docs-publish-pages.yml