Philip Alger <paalger0@gmail.com> writes:
> I attached v7 but it looks like that one of the CI tests failed, but I
> reran though my Github branch and they all passed. The error had nothing to
> do with the patch though. Wondering if I need to resubmit a v8 to kick it
> off again? Thoughts?
Just ignore it if you're pretty sure the error is unrelated. The
cfbot cycles through all open patches and will re-run CI for yours
in a day or three (not sure of the exact cycle time right now).
If the same error persists then you'd better look closer.
regards, tom lane