[CI] Check that headers are up to date in the CI pipeline#35
[CI] Check that headers are up to date in the CI pipeline#35NattyNarwhal merged 1 commit intophp:masterfrom
Conversation
ee213d9 to
06f075d
Compare
|
This PR looks completely nonsensical, you are using a documentation flag for something that doesn't seem to do any comparison to docs. If what you are after is checking that the arginfos are correctly generated than copy part of https://github.com/php/php-src/blob/master/.github/actions/verify-generated-files/action.yml |
The intention of this PR is checking if the contents in Please, let me know if I am misunderstanding the purpose of |
|
@Girgias, sorry for the ping. I've removed the |
|
Looks fine to me now. |
TODO:
ibm_db2.stub.php#32.