### Description Similar to what was done for Cirrus with https://github.com/php/php-src/pull/16203 Just saw that we ran CI when pushing https://github.com/php/php-src/pull/16415