Hello,
>> > I've also in the past implored to set up a ci job for "make dist" to >> > make it at least easier to figure out which commits trigger these >> > issues... how can I help move that forward? :) > > Mathieu, what does Cuirass need to make that happens? That would require to have a derivation running an equivalent of the "make dist" command, in the same spirit as the "tarball-jobs" procedure of the (gnu ci) module I guess. Thanks, Mathieu
