workflow/publish: update to php-8.1 master
authorMichael Wallner <mike@php.net>
Sat, 21 Jan 2023 09:06:33 +0000 (10:06 +0100)
committerGitHub <noreply@github.com>
Sat, 21 Jan 2023 09:06:33 +0000 (10:06 +0100)
commit415d85cea6b3135515dc1aed813a94fdbc467ca0
tree0e33c17d00348474fa81bd9b14246bc80ae02901
parent6fb2bcef6982d1125c45f821e84fe45e16192557
workflow/publish: update to php-8.1
.github/workflows/publish.yml