Re: [dev-servo] Output profiling data as a timeline

2016-05-03 Thread Paul Rouget
This is awesome!

I'm under the impression that it stops profiling after the page has
loaded. Is that right?

On Thu, Apr 28, 2016 at 9:28 PM, Nick Fitzgerald
 wrote:
> As of https://github.com/servo/servo/pull/10694, you can dump the profiling
> data from the `components/profile/time.rs` module as a timeline in a self
> contained HTML file that is easy to share/upload/etc.
>
> Usage:
>
> $ ./mach run -r -p 5 --profiler-trace-path ~/output.html
> https://reddit.com/
>
> More info/docs here:
> https://github.com/servo/servo/wiki/Profiling#generating-timelines
>
> Screenshot:
> https://camo.githubusercontent.com/44afcc7af5e12f5f14726d26b0ec975c19da6e47/687474703a2f2f692e696d6775722e636f6d2f4f6857736d386d2e706e67
>
> Live example:
> http://media.fitzgeraldnick.com/dumping-grounds/trace-reddit.html
>
> My hope is that this will be a useful tool to visualize where time is spent
> at a high level over time.
>
> Cheers!
> ___
> dev-servo mailing list
> dev-servo@lists.mozilla.org
> https://lists.mozilla.org/listinfo/dev-servo
___
dev-servo mailing list
dev-servo@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-servo


Re: [dev-servo] Output profiling data as a timeline

2016-05-03 Thread Nick Fitzgerald
On Tue, May 3, 2016 at 12:16 AM, Paul Rouget  wrote:

> This is awesome!
>

​Great :)​

I'm under the impression that it stops profiling after the page has
> loaded. Is that right?
>

​It continues profiling from startup till shutdown.​
___
dev-servo mailing list
dev-servo@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-servo


[dev-servo] Notifications for issues with particular labels applied to them

2016-05-03 Thread Josh Matthews
Good news everyone! Thanks to the work of Nazım Can Altınova 
(canaltinova), highfive can now tag github users when a particular label 
is applied to an issue (or PR) in the servo repository. To customize 
this for your own purposes, make a PR that amends 
https://github.com/servo/highfive/blob/master/handlers/label_watchers/watchers.ini 
with your username and the space-separated label names that you wish to 
follow.


Cheers,
Josh

ps. Shout out to all the folks recently who have been helping us make 
the Servo development experience more delightful:

* Wafflespeanut - automatic WPT failure reporting
* Mark-Simulacrum - comments when new commits are pushed to a PR
* aneeshusa - reviewer assignment logic enhancements

Remember, if there are inefficiencies in your github workflow, file an 
issue and we'll brainstorm ways to improve the situation :)

___
dev-servo mailing list
dev-servo@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-servo