Merge bot PR

Add support for PHP 8.5 `#[\NoDiscard]` #3442

Sign in to view logs

Triggered via pull request August 21, 2025 06:57

DanielEScherzer

opened #4253

DanielEScherzer:polyfill-NoDiscard-function

Status Success

Total duration 16s

Artifacts –

merge-bot-pr.yml

on: pull_request