Andres Freund <andres(at)anarazel(dot)de> writes:
> And subsequently noticed that CI currently doesn't collect the tests.diff
> file, so I don't know why that failed. CI currently collects all *.diffs
> files, I don't really want it to also collect all .diff files, since most of
> the time that would be redundant with the .diffs file.
> Would you mind if I rename the output file to test.diffs? That seems to make
> more sense than explicitly capturing this file...
Sure, I did not realize we had a standard for that.
regards, tom lane