Update ci overlays - Fix log file capture, etc.

Pavel Marek · Pavel Marek · commit 02d9d3dbe780 · 2021-05-31T09:34:05.000+02:00
diff --git a/ci.jsonnet b/ci.jsonnet
@@ -1 +1 @@
-{ overlay : '41c24d59fb8180fbe98a2abe741521ee47117de5' }
+{ overlay : 'ba6d182f8e560788c71893ace6cbfd203b319430' }
