judge: report (textually) the end of batches

[Riolku]

Before this change:

After:

[kiritofeng]

What do we think about using indentation instead (and otherwise keeping the current text)? cc @quantum5 and @Xyene

[Riolku]

This sounds good to me

-------- Original Message -------- On Mar. 16, 2022, 9:47 p.m., Roger Fu wrote:

What do we think about using indentation instead (and otherwise keeping the current text)? cc @.(https://github.com/quantum5) and @.(https://github.com/Xyene)

— Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you authored the thread.Message ID: @.***>

[Xyene]

I think indentation would be slightly nicer here too, but overall think the change is good.

[kiritofeng]

Superseded by #1105.