search

servo / rust-mozjs

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

chore(ci): relink `python3` to `python3.9` on Homebrew #561

Closed yvt closed 1 year ago

yvt commented 2 years ago

Work around the other part of #559

jdm commented 1 year ago

@bors-servo r+

bors-servo commented 1 year ago

:pushpin: Commit ec6cb84 has been approved by jdm

bors-servo commented 1 year ago

:hourglass: Testing commit ec6cb8460bf96e94fdfaed05ace01f673c6f3ab9 with merge e35fdec5eb0ec74b8c0035e598233a098eccabab...

bors-servo commented 1 year ago

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