Hi, On Wed, 06 Sep 2023 at 00:11, wolf <w...@wolfsden.cz> wrote:
> But I guess this was supposed to be taken as "run make check' and make sure > nothing new is broken". Is there a command for that? Yes taken like that. :-) And nothing I am aware. I agree that the situation with “make check” is imperfect. Cheers, simon