search

servo / rust-mozjs

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

Update mozjs. #499

Closed jdm closed 4 years ago

sagudev commented 4 years ago

The cause of error is https://bugzilla.mozilla.org/show_bug.cgi?id=1616312

jdm commented 4 years ago

@bors-servo r+

bors-servo commented 4 years ago

:pushpin: Commit c79bd71 has been approved by jdm

bors-servo commented 4 years ago

:hourglass: Testing commit 1a1ac14514ff6e259c84cbb4872b23fb0bf8f7df with merge 8476eaffa68fdf5324c6c59671657dd7eb9e385f...

jdm commented 4 years ago

@bors-servo retry

jdm commented 4 years ago

@bors-servo r+

bors-servo commented 4 years ago

:pushpin: Commit 8476eaf has been approved by jdm

jdm commented 4 years ago

@bors-servo retry

bors-servo commented 4 years ago

:hourglass: Testing commit c79bd7158c4b4cb0d000d0ffbca37a578e4af647 with merge 81c88926aa57f8571b3784216907e4e06363b345...

bors-servo commented 4 years ago

:sunny: Test successful - checks-travis, status-appveyor Approved by: jdm Pushing 81c88926aa57f8571b3784216907e4e06363b345 to master...