update scripts/ci

diff --git a/scripts/ci b/scripts/ci
index e337dcd7cdbbd9dd6d720eb4645f9f02a041dafa..547c8e89e38d6e899914c05ddf6598669bd16532 160000 (submodule)
--- a/scripts/ci
+++ b/scripts/ci
@@ -1 +1 @@
-Subproject commit e337dcd7cdbbd9dd6d720eb4645f9f02a041dafa
+Subproject commit 547c8e89e38d6e899914c05ddf6598669bd16532