update ci overlays with 3-thread benchmarks

timfel · timfel · commit da1858e72e1c · 2021-11-18T14:01:02.000+01:00
diff --git a/ci.jsonnet b/ci.jsonnet
@@ -1 +1 @@
-{ "overlay": "f1e0b9850e89d597ab8247aa8bcaa71861cadab3" }
+{ "overlay": "a8d5bf4712e204ee36470373aa7967a79f30ad81" }

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-{ "overlay": "f1e0b9850e89d597ab8247aa8bcaa71861cadab3" }`
	`1`	`+{ "overlay": "a8d5bf4712e204ee36470373aa7967a79f30ad81" }`