ci: update actions to ubuntu 22.04 and recent PHP
authorMichael Wallner <mike@php.net>
Wed, 3 May 2023 12:04:41 +0000 (14:04 +0200)
committerMichael Wallner <mike@php.net>
Wed, 3 May 2023 12:04:41 +0000 (14:04 +0200)
commit50d036f2061d397ef6d2f0731ae5613190634c90
treee17a1d79419eb0ee2c81b24c381d3ae481d4684c
parentcc60cacd485e3d5d7b6b561e51cfa1e60e9ddb53
ci: update actions to ubuntu 22.04 and recent PHP
.github/workflows/ci.yml
scripts/gen_github_workflow_ci.php