ci: update PHP versions
authorMichael Wallner <mike@php.net>
Thu, 12 Oct 2023 07:40:17 +0000 (09:40 +0200)
committerMichael Wallner <mike@php.net>
Thu, 12 Oct 2023 07:40:17 +0000 (09:40 +0200)
commit0978f3e431e0c931e3861b09f9a9e0ac9d589c0e
treefd63ea2b799f58942c9b76571441db7052166267
parent666fa4359c9d2a6ebc747af4226cd023c3ad3974
ci: update PHP versions
.github/workflows/ci.yml
scripts/gen_github_workflow_ci.php