search

servo / rust-mozjs

DEPRECATED - moved to servo/mozjs instead.
Mozilla Public License 2.0
293 stars 122 forks source link

Add feature for profiling. #456

Closed jdm closed 5 years ago

jdm commented 5 years ago

This change is Reviewable

jdm commented 5 years ago

Addresses https://github.com/servo/servo/issues/23081.

jdm commented 5 years ago

@bors-servo r=emilio

bors-servo commented 5 years ago

:pushpin: Commit aaa12b2 has been approved by emilio

bors-servo commented 5 years ago

:hourglass: Testing commit aaa12b24da63b8d3c9bb5a8dc4fed84726b61308 with merge 7a1062f0122c6c8d7fbdb075ad4f97cee0fe5f1b...

bors-servo commented 5 years ago

:broken_heart: Test failed - checks-travis

bors-servo commented 5 years ago

:sunny: Test successful - checks-travis, status-appveyor Approved by: emilio Pushing 7a1062f0122c6c8d7fbdb075ad4f97cee0fe5f1b to master...