Sum type formatting inconsistency in CI

[disconcision]

In the CI, sum type pluses sometimes are missing a space on one side:

(it's only coincidental that the space is also missing in the editor syntax)