Hi Nikita, On 16/09/2020 12:46, Nikita Popov wrote: > No, this just means that your CI is running tests that our CI doesn't. > In this case, you are probably using a different MySQL version and thus > run a different subset of tests.
I know that, and that's why I keep it running it ;-) I was just saying that some commits aren't getting to the php-cvs mailing list, and often that happens when closing GitHub PRs. And I suspect it has somethinig to do with the way the PR merge is handled. Cheers -- Matteo Beccati Development & Consulting - http://www.beccati.com/ -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php
