update workflow
authorMichael Wallner <mike@php.net>
Thu, 20 Jan 2022 13:48:33 +0000 (14:48 +0100)
committerMichael Wallner <mike@php.net>
Thu, 20 Jan 2022 13:52:09 +0000 (14:52 +0100)
commit702e350896aeab6c5a0d6327ee5e3a341a8a9e72
tree9b5df4b0f15c18e8bd34caf8a3144c1dac0458b2
parentcf26c621830531da064ddf44754e688569a13242
update workflow
.github/workflows/ci.yml
scripts/gen_github_workflow_ci.php