diff --git a/ci.jsonnet b/ci.jsonnet index 549a903d59..44ce2c002c 100644 --- a/ci.jsonnet +++ b/ci.jsonnet @@ -1 +1 @@ -{ "overlay": "7161289a30e53902b11e3446c3be2eaaaef4c0a2" } +{ "overlay": "947e97f768b6e4a5868c3afa76617c2b2f72ff33" }