php/archived-doc-en
1
0
Fork 0
mirror of https://github.com/php/doc-en.git synced 2026-03-23 23:32:18 +01:00
Code Issues Packages Projects Releases Wiki Activity

CI: upload .manual.xml

Browse Source 
This is mostly meant for PhD CI, but may be useful for other purposes
as well.

Closes GH-832.
This commit is contained in:
Christoph M. Becker
2021-08-06 21:56:18 +02:00
committed by GitHub
parent 388226f9e1
commit 2c56356914
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
.github/workflows/integrate.yaml vendored
View File

@@ -44,3 +44,9 @@ jobs:
- name: "Build documentation for ${{ matrix.language }}"
run: "php8.0 doc-base/configure.php --disable-libxml-check --enable-xml-details --redirect-stderr-to-stdout --with-lang=${{ matrix.language }}"
- name: "Upload .manual.xml"
uses: actions/upload-artifact@v2
with:
name: .manual.xml
path: doc-base/.manual.xml