Update ci.jsonnet

Pavel Marek · Pavel Marek · commit bd93df7c2d33 · 2022-08-11T18:57:04.000+02:00
diff --git a/ci.jsonnet b/ci.jsonnet
@@ -1 +1 @@
-{ overlay : '6ee29a2fa50b3720d21f1dedc89e470620f9994c' }
+{ overlay : '8f6cbca35f5eb650bcaf78c20fdf8863e00258d2' }

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-{ overlay : '6ee29a2fa50b3720d21f1dedc89e470620f9994c' }`
	`1`	`+{ overlay : '8f6cbca35f5eb650bcaf78c20fdf8863e00258d2' }`