On Sat, May 23, 2020 at 11:53 AM Stefano Zacchiroli <z...@upsilon.cc> wrote:
> Hi again Martin, > > On Fri, May 22, 2020 at 05:56:33PM -0400, Martin Blais wrote: > > The Beancount repository and issue tracker has been migrated to Github, > at > > this location: > > as far as I can tell from: > > https://travis-ci.org/github/beancount/beancount/pull_requests > > CI builds are not enabled for pull requests. Can you enable them? > I agree, but "Build pushed pull requests" is already enabled. I changed the settings this morning so it's possible previous PRs haven't been built. I disabled "build pushed branches" because most branches aren't clean in that way at the moment. > It's gonna help both you and PR submitters in shortening feedback loops, > I think. To enable them all that should be needed is going here: > > https://travis-ci.org/github/beancount/beancount/settings > > and flipping the switch "Build pushed pull requests" (there's also > "Build pushed branches", but that concerns only the people with direct > push access). > > Thanks for considering, > Cheers > -- > Stefano Zacchiroli . z...@upsilon.cc . upsilon.cc/zack . . o . . . o . o > Computer Science Professor . CTO Software Heritage . . . . . o . . . o o > Former Debian Project Leader & OSI Board Director . . . o o o . . . o . > « the first rule of tautology club is the first rule of tautology club » > > -- > You received this message because you are subscribed to the Google Groups > "Beancount" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to beancount+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/beancount/20200523155310.hxufpc4fg5praz5v%40upsilon.cc > . > -- You received this message because you are subscribed to the Google Groups "Beancount" group. To unsubscribe from this group and stop receiving emails from it, send an email to beancount+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/beancount/CAK21%2BhOOS6k%2BTc7W-ZyLNuFdhPV7D-8anEvUXEScYedQ6HYJ-w%40mail.gmail.com.
