Hi Stuart, thanks for your proposal and for discussing it here at the mailing list. Some random remarks and questions:
We already have three reporting formats (HTML, XML, CSV), this would probably another reporting format in TXT format. I wonder what the exact format and content would be. We have various coverage metrics and different users may have different requirements. So we probably need some config options. We already have the machine readable XML report. With tools like xmllint you can extract whatever information you need into an text file. What specific tool in the CI pipeline would consume this file? Cheers, -marc > On 17. Dec 2024, at 11:31, 'Stuart Lewis' via JaCoCo and EclEmma Users > <jacoco@googlegroups.com> wrote: > > Good morning, > > I’d like to merge an enhancement into the jacoco repository. The suggested > enhancement enables writing out a text file containing the code coverage > ratio. This ratio can then be reviewed as part of a CI pipeline. (The > proposed changes have been added to a forked repository which we have been > successfully utilising for almost a year now). > > In terms of next steps, I’d like to raise an enhancement request but this > message serves to hopefully enable discussion on the proposed enhancement. > Could I kindly ask for people’s thoughts on this? > > Kind Regards, > Stuart Lewis > > -- > You received this message because you are subscribed to the Google Groups > "JaCoCo and EclEmma Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to jacoco+unsubscr...@googlegroups.com > <mailto:jacoco+unsubscr...@googlegroups.com>. > To view this discussion visit > https://groups.google.com/d/msgid/jacoco/63e8f570-ecfd-4ad2-adda-abcb338f71afn%40googlegroups.com > > <https://groups.google.com/d/msgid/jacoco/63e8f570-ecfd-4ad2-adda-abcb338f71afn%40googlegroups.com?utm_medium=email&utm_source=footer>. -- You received this message because you are subscribed to the Google Groups "JaCoCo and EclEmma Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to jacoco+unsubscr...@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/jacoco/D2E9F547-5C9C-4481-B779-9B4BF1DA074F%40mountainminds.com.
