update scripts/ci
authorMichael Wallner <mike@php.net>
Tue, 12 Jan 2021 19:04:28 +0000 (20:04 +0100)
committerMichael Wallner <mike@php.net>
Tue, 12 Jan 2021 19:04:28 +0000 (20:04 +0100)
commita866d154e6409a1e5fb6b9192d89c94b63f1e222
tree54eb9073517d40606d9a43b2a271e9c70b47e3e0
parent5b02bc7e61e06418cac7871485c89dcabeee42db
update scripts/ci
scripts/ci