Thanks for the update! This is fine for me; the tagged SDK builds come pretty frequently now, and when I need to test something brand-new it's often still on a pull request so I have to build locally anyway.
I would really love announcements of new tagged build availability to the list though, or an RSS feed or twitter bot I can subscribe to. (I can probably rig up a feed or bot from scraping the update data, if you think that would be helpful.) -- brion On Fri, Jan 26, 2018 at 5:01 PM, Jukka Jylänki <[email protected]> wrote: > Hi all, > > Emscripten SDK has for a while supported Nightly snapshot builds of > the toolchain. The idea behind this was to allow an easier way for > developers to bisect breakages across multiple repositories. > > However, this feature was not too useful, since it would not be able > to pinpoint to exact breaking commits in an automated manner, and now > we notice to be struggling with disk sizes in hosting the Nightly > builds. I've been pondering on decimating really old (1year+) Nightly > builds to sparser, e.g. one Nightly per week -frequency, but that > might run into problems for emsdk users, since it could mean that an > once installed emsdk Nightly build could vanish from the SDK manifest > at some point. > > Given that we have precompiled tagged builds of the SDK rolling and > that the Nightly builds have not received much use, it seems like > easiest to let the precompiled Nightly builds feature to go > altogether, and so we are looking to remove this option from emsdk. > > If anyone cares strongly about this, please drop a comment here! > > Cheers, > Jukka > > -- > You received this message because you are subscribed to the Google Groups > "emscripten-discuss" 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 because you are subscribed to the Google Groups "emscripten-discuss" 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.
