Re: [webkit-dev] Switching open source Debug bots to building and testing with configuration --force-opt=O3

I also object to losing good stack traces for crashes on Debug bots. Also, I don't think Debug bots should build something different from what I build at my desk. Simon > On Jun 17, 2020, at 1:36 PM, Mark Lam wrote: > > Hi folks, > > We're planning to switch the JSC EWS bot and

Re: [webkit-dev] Switching open source Debug bots to building and testing with configuration --force-opt=O3

In JSC EWS bots. For the other Debug EWS bots, (Like, WebCore Debug builds), I have no strong opinion. -Yusuke > On Jun 17, 2020, at 6:07 PM, Yusuke Suzuki wrote: > > For EWS, we are running Release build right now. So in terms of stack traces, > nothing is changed. > > -Yusuke > >> On Jun

Re: [webkit-dev] Switching open source Debug bots to building and testing with configuration --force-opt=O3

For EWS, we are running Release build right now. So in terms of stack traces, nothing is changed. -Yusuke > On Jun 17, 2020, at 5:21 PM, Alexey Proskuryakov wrote: > > > I frequently find it critically useful to see stack traces from debug builds, > because of no inlining. So I don't think

Re: [webkit-dev] Switching open source Debug bots to building and testing with configuration --force-opt=O3

I frequently find it critically useful to see stack traces from debug builds, because of no inlining. So I don't think that we should do this. A local build does not help when the issue is not readily reproducible. - Alexey > 17 июня 2020 г., в 1:36 PM, Mark Lam написал(а): > > Hi folks, >

Re: [webkit-dev] Request for position on Media Feeds

Without having read the spec in detail, the first thing I wonder is why not use RSS for this purpose? That seems to be the de facto standard for audio feeds (i.e. podcasts). This is dismissed in a cursory way in the explainer. There’s some more detailed discussion in the issue filed by the

[webkit-dev] Request for position on Media Feeds

Hi webkit-dev, I would like to request an official position on Media Feeds. Explainer: https://github.com/WICG/media-feeds/blob/master/explainer.md Chrome Status: https://chromestatus.com/feature/5695114963845120 TAG review: https://github.com/w3ctag/design-reviews/issues/477 Thanks, Becca

[webkit-dev] Switching open source Debug bots to building and testing with configuration --force-opt=O3

Hi folks, We're planning to switch the JSC EWS bot and build.webkit.org Debug build and test bots to building with the following set first: ./Tools/Scripts/set-webkit-configuration --force-opt=O3 This means the Debug builds will be built with optimization level