Update CI overlay

fangerer · fangerer · commit c94479ddb603 · 2023-06-30T18:09:57.000+02:00
diff --git a/ci.jsonnet b/ci.jsonnet
@@ -1 +1 @@
-{ "overlay": "3781e8e2bddb411b74bd9f9a09d4c1ce5ffb2425" }
+{ "overlay": "dd38e0d2b557eea22b7e0b558bec03da8855c01b" }

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-{ "overlay": "3781e8e2bddb411b74bd9f9a09d4c1ce5ffb2425" }`
	`1`	`+{ "overlay": "dd38e0d2b557eea22b7e0b558bec03da8855c01b" }`