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)
scripts/ci

index e337dcd7cdbbd9dd6d720eb4645f9f02a041dafa..547c8e89e38d6e899914c05ddf6598669bd16532 160000 (submodule)
@@ -1 +1 @@
-Subproject commit e337dcd7cdbbd9dd6d720eb4645f9f02a041dafa
+Subproject commit 547c8e89e38d6e899914c05ddf6598669bd16532