The vast majority of our code is outside the one repo that DrDr monitors. So already, for all that code, what you describe is the case. Indeed, it routinely causes me problems and the changes that you recently pushed make life much better for this majority.
No? Robby On Sun, Apr 19, 2015 at 7:55 PM, Jay McCarthy <[email protected]> wrote: > On Sun, Apr 19, 2015 at 8:51 PM, Robby Findler > <[email protected]> wrote: >> >> >> On Sunday, April 19, 2015, Jay McCarthy <[email protected]> wrote: >>> >>> I'm starting an experiment where DrDr will be running all the time, >>> rather than only on pushes to the main repository. Hopefully this will >>> make it more useful in the post-single-repo ecosystem, but there may >>> be some errors. One big downside is that I can't guarantee each push >>> will be tested individually, instead it considers all commits that >>> came in since the last time it polled (which happens just before it >>> runs an integration) to be the same "push". >>> >> >> Can you say more how this is a downside, given the post-split world we live >> in? (I can understand that when you compare to the old world but in the new >> one, this bad property is worse when you wait for pushes in just one repo >> right?) >> > > If you make a change to the main repo and change the db collection, > then push it (push +1), then the net collection and push that (push > +2), but during that period of time, DrDr was working, these two > changes will be combined into a single DrDr test (as well as all other > changes in any other package.) Previously to this recent change, every > push to the main repo was Sacred and tested separately, with all > changes to packages combined... now there is no protection whatsoever > for any repo/package/etc. > > Jay > > -- > Jay McCarthy > http://jeapostrophe.github.io > > "Wherefore, be not weary in well-doing, > for ye are laying the foundation of a great work. > And out of small things proceedeth that which is great." > - D&C 64:33 -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/CAL3TdOPobg9N6e5BJ2MwRxLCFLn2H787XDtQEAgnTBnEnvDstQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
