diff --git a/ci.jsonnet b/ci.jsonnet index 90a66d7f20..0e655004e1 100644 --- a/ci.jsonnet +++ b/ci.jsonnet @@ -1 +1 @@ -{ "overlay": "d3a703a390f4a053de7253588661f5c87306275f" } +{ "overlay": "158a8228c13dccca6dc89655c392a02bbce61516" }