Update CI overlay.

ansalond · ansalond · commit fa9c014a04c0 · 2024-03-29T13:00:09.000+01:00
diff --git a/ci.jsonnet b/ci.jsonnet
@@ -1 +1 @@
-{ "overlay": "f16fa2aa94ce79d7d0c59e570d59f3adef8fd1a1" }
+{ "overlay": "5b5fbd59f8657832154426ae91262524e744acc8" }

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-{ "overlay": "f16fa2aa94ce79d7d0c59e570d59f3adef8fd1a1" }`
	`1`	`+{ "overlay": "5b5fbd59f8657832154426ae91262524e744acc8" }`