Update CI overlay

fangerer · fangerer · commit 2d3a94ad1681 · 2023-06-29T10:35:01.000+02:00
diff --git a/ci.jsonnet b/ci.jsonnet
@@ -1 +1 @@
-{ "overlay": "54ce762e66d68c0a5db85a5eb1a028df4d0a72d9" }
+{ "overlay": "3781e8e2bddb411b74bd9f9a09d4c1ce5ffb2425" }

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