Skip to content

curl-init.xml: replace 'resource' to 'session' #7885

curl-init.xml: replace 'resource' to 'session'

curl-init.xml: replace 'resource' to 'session' #7885

Workflow file for this run

# https://docs.github.com/en/actions
name: "Integrate"
on:
pull_request: null
push:
branches:
- "master"
permissions:
contents: read
jobs:
build:
name: "Build"
runs-on: "ubuntu-20.04"
strategy:
matrix:
language:
- "en"
steps:
- name: "Checkout php/doc-${{ matrix.language }}"
uses: "actions/checkout@v4"
with:
path: "${{ matrix.language }}"
repository: "php/doc-${{ matrix.language }}"
- name: "Checkout php/doc-en as fallback"
if: "matrix.language != 'en'"
uses: "actions/checkout@v4"
with:
path: "en"
repository: "php/doc-en"
- name: "Checkout php/doc-base"
uses: "actions/checkout@v4"
with:
path: "doc-base"
repository: "php/doc-base"
- name: "Quality Assurance scripts"
run: |
php8.0 doc-base/scripts/qa/extensions.xml.php --check
# php8.0 doc-base/scripts/qa/section-order.php
- 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@v3
with:
name: .manual.xml
path: doc-base/.manual.xml