Update CI overlay commit

steve-s · steve-s · commit 939fa4525736 · 2023-09-06T22:12:58.000+02:00
diff --git a/ci.jsonnet b/ci.jsonnet
@@ -1 +1 @@
-{ "overlay": "e34c7ee753766965e5ec67d355b98bb5cafa6adb" }
+{ "overlay": "307e5a817ece2f16b7500db068a58c0538cf2101" }

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-{ "overlay": "e34c7ee753766965e5ec67d355b98bb5cafa6adb" }`
	`1`	`+{ "overlay": "307e5a817ece2f16b7500db068a58c0538cf2101" }`