php-doc-en/.github/workflows
Christoph M. Becker 2c56356914
CI: upload .manual.xml
This is mostly meant for PhD CI, but may be useful for other purposes
as well.

Closes GH-832.
2021-08-06 21:56:18 +02:00
..
integrate.yaml CI: upload .manual.xml 2021-08-06 21:56:18 +02:00