servo / media

Mozilla Public License 2.0
82 stars 54 forks source link

Fix the GitHub CI build #390

Closed mrobinson closed 1 year ago

mrobinson commented 1 year ago

This PR fixes various issues that were preventing the CI from successfully running.

mrobinson commented 1 year ago

Okay. After a lot of wrestling with cargo and GitHub runners, I think this PR is ready to be merged. It gets the CI working again.

mrobinson commented 1 year ago

@bors-servo r=Manishearth

bors-servo commented 1 year ago

:pushpin: Commit e9b29e7 has been approved by Manishearth

bors-servo commented 1 year ago

:hourglass: Testing commit e9b29e7e3c10af313ec993173df0d30011ae2328 with merge 7c6fab9b451a0acfc4a2ed09edc88f129d5a1906...

mrobinson commented 1 year ago

Thanks for the review!

bors-servo commented 1 year ago

:sunny: Test successful - checks-github, status-appveyor Approved by: Manishearth Pushing 7c6fab9b451a0acfc4a2ed09edc88f129d5a1906 to master...