GH Actions: update for the release of PHP 8.5#184

antecedent merged 1 commit intomasterantecedent/patchwork:masterfrom

feature/ghactions-update-for-php-8.5-releaseantecedent/patchwork:feature/ghactions-update-for-php-8.5-releaseCopy head branch name to clipboard