2017-03-30 3:20 GMT+09:00 Christian Brabandt <[email protected]>: > Hi Kazunobu! > > On Do, 30 Mär 2017, Kazunobu Kuriyama wrote: > > > 2017-03-29 23:06 GMT+09:00 Dominique Pellé <[email protected]>: > > > > Bram Moolenaar <[email protected]> wrote: > > > > > Christian Brabandt wrote: > > > > > >> On Sa, 25 Mär 2017, Bram Moolenaar wrote: > > >> >
> <snip> > > > I'm wondering if coverall has similar pages explaining their metrics. > If they > > have any, that will help us to give an exact comparison between codecov > and > > coverall. > > We could probably ask support, however I am not sure it matters much. > Ah, thank you for considering it. That was no more than out of my curiosity, and I'm actually enjoying those unexpected ups and downs like a game. Probably, not knowing exact reasons would help me not to get bored with the coverage game :) Regards Kazunobu > > > > > > > > I find Codecov web interface nicer and faster to use > > than coveralls. With coveralls, browsing through source > > files was sometimes jumping up and down for no apparent > > reasons, which was quite annoying. No such problem > > with codecov. > > > > > > Exactly. > > +1 > > Best, > Christian > -- > Auspuffgase: > der Weihrauch der Zivilisation. > > -- > -- > You received this message from the "vim_dev" maillist. > Do not top-post! Type your reply below the text you are replying to. > For more information, visit http://www.vim.org/maillist.php > > --- > You received this message because you are subscribed to the Google Groups > "vim_dev" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > For more options, visit https://groups.google.com/d/optout. > -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
