  We study how the Lazard correspondence behaves on semi-direct sums of Lie
rings and use this to develop a Lazard correspondence between post-Lie rings
and skew braces that satisfy a natural completeness condition. In particular,
for a prime $p$ and $k<p$, this yields a correspondence between skew braces of
order $p^k$ and left nilpotent post-Lie rings of order $p^k$ on a nilpotent Lie
ring.
