Switch Travis CI badge to GitHub Actions and update link#307
Merged
bors-servo merged 1 commit intoservo:masterfrom Aug 7, 2022
Merged
Switch Travis CI badge to GitHub Actions and update link#307bors-servo merged 1 commit intoservo:masterfrom
bors-servo merged 1 commit intoservo:masterfrom