diff --git a/.github/workflows/integrate.yaml b/.github/workflows/integrate.yaml index 0e6efe40d4..ada79b5abb 100644 --- a/.github/workflows/integrate.yaml +++ b/.github/workflows/integrate.yaml @@ -40,7 +40,9 @@ jobs: repository: "php/doc-base" - name: "Quality Assurance scripts" - run: "php8.0 doc-base/scripts/qa/extensions.xml.php --check" + 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 }}"