search

servo / rust-mozjs

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

Fix windows CI. #557

Closed jdm closed 2 years ago

jdm commented 2 years ago

Equivalent of https://github.com/servo/mozjs/pull/301.

jdm commented 2 years ago

@bors-servo r+

bors-servo commented 2 years ago

:pushpin: Commit e3120d1 has been approved by jdm

bors-servo commented 2 years ago

:hourglass: Testing commit e3120d1203b700d77c04be70318d48ecbf0ac240 with merge fb1ec9f8b0c74f8803925dcee44a7079473bda29...

bors-servo commented 2 years ago

:sunny: Test successful - checks-github Approved by: jdm Pushing fb1ec9f8b0c74f8803925dcee44a7079473bda29 to master...