Single post

Note to self: if CI is telling you that the build failed.
Maybe look into it even if it looks like the thing worked anyway :-).
Ont he plus side: it made a weird issue easier to debug.