Skip to content

Migrate ext/xmlrpc to doc-extensions #9

Migrate ext/xmlrpc to doc-extensions

Migrate ext/xmlrpc to doc-extensions #9

Workflow file for this run

# https://docs.github.com/en/actions
name: "Integrate"
on:
pull_request: null
push:
branches:
- "main"
permissions:
contents: read
jobs:
build:
name: "Build"
runs-on: "ubuntu-latest"
strategy:
matrix:
language:
- "extensions"
steps:
- name: "Checkout php/doc-${{ matrix.language }}"
uses: "actions/checkout@v7"
with:
path: "${{ matrix.language }}"
repository: "php/doc-${{ matrix.language }}"
- name: "Checkout php/doc-base"
uses: "actions/checkout@v7"
with:
path: "doc-base"
repository: "php/doc-base"
- name: "Setup PHP"
uses: "shivammathur/setup-php@v2"
with:
php-version: "8.5"
extensions: "dom, libxml, simplexml"
env:
fail-fast: true
- name: "Build documentation for ${{ matrix.language }}"
run: "php doc-base/configure.php --disable-libxml-check --enable-xml-details --redirect-stderr-to-stdout --with-base-lang=${{ matrix.language }}"
- name: "Upload .manual.xml"
uses: actions/upload-artifact@v7
with:
name: .manual.xml
path: doc-base/.manual.xml
include-hidden-files: true