search

servo / media

Mozilla Public License 2.0
82 stars 54 forks source link

Remove unused legacy CI configuration #409

Closed mrobinson closed 1 year ago

mrobinson commented 1 year ago

These are no longer used after the switch to GitHub Actions.

atouchet commented 1 year ago

Should Travis CI be removed as well?

mrobinson commented 1 year ago

Should Travis CI be removed as well?

Yep. I've gone ahead and added that change here.