[php-src] Issue #18708: Ignore generated arginfo for the ABI break label
| From: | DanielEScherzer | Date: | Thu, 29 May 2025 21:09:10 +0000 |
| Subject: | [php-src] Issue #18708: Ignore generated arginfo for the ABI break label | ||
| Groups: | php.bugs | ||
| Request: | Send a blank email to php-bugs+get-250186@lists.php.net to get a copy of this message | ||
Issue: https://github.com/php/php-src/issues/18708
Author: DanielEScherzer
### Description
Any objections? From the initial #15682
> ABI breaks are not supposed to happen after feature freeze, i.e. when
the PHP API numbers have been bumped. To make it easier to notice
inadvertent ABI breaks, we automatically add an "ABI break" label to
all PRs which modify public (aka. installed) header files.
And I would consider arginfo to qualify as non-public header files