Skip to content

CI: check the XML structure of the PR head, not of the merge commit - #959

Merged
PhilDaiguille merged 1 commit into
php:masterfrom
lacatoire:ci/check-xml-pr-head
Aug 7, 2026
Merged

CI: check the XML structure of the PR head, not of the merge commit#959
PhilDaiguille merged 1 commit into
php:masterfrom
lacatoire:ci/check-xml-pr-head

CI: check the XML structure of the PR head, not of the merge commit

fdc472c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Check EN-Revision
succeeded Aug 7, 2026 in 19s