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

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

lacatoire wants to merge 1 commit into

php:masterphp/doc-it:masterfrom

lacatoire:ci/check-xml-pr-headlacatoire/doc-it:ci/check-xml-pr-headCopy head branch name to clipboard