On Fri, Jan 24, 2025 at 02:18:30PM +0100, Jean-Marc Lasgouttes wrote: > Would it be possible to use "make -s" to make the reports less wordy, and > maybe to change the message title ? [ci announce] is weird. No problem, what is your favorite title? Pavel