Is there a public announcement? I can only see PHP 8.5.11 images, but having a recent build date is not enough to say they are indeed patched.

context: https://news.ycombinator.com/item?id=50176735