On Tue, 21 Oct 2025 at 15:22, Nazir Bilal Yavuz <byavuz81@gmail.com> wrote:
> What do you think about moving this inside of another CI task instead
> of creating a new one? I think that creating a new VM and cloning
> Postgres into it would be unnecessary but I could not decide which
> task would be a good choice for this.
I think the main benefit of keeping it separate is that it makes it
clear to both reviewers and authors that only the formatting is
incorrect, and no functionality is broken. The task is pretty quick
(~40 seconds) so I wouldn't be too worried about the resources it
uses.