On 24/04/17 14:46, Lars Hupel wrote: > Then, out of the blue, you stopped caring, > unsubscribed for strange reasons from the CI list and started calling > Jenkins a "monster" and a "waste of resources". > > It is because of that that I'm having a hard time believing that you're > willing to engage in constructive dialog about regression testing anymore. > > You claim that you "did not get any answers". In reality, you got all > the answers and ignored them.
This is still "blame game". I actually offered an open dialog about it last December, and you rejected that. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev