Closed
Description
Previously, Travis CI was free. Now it is not, so W3C is migrating all W3C repos away from Travis to GitHub actions. Travis will stop working once our current credits are exhausted, which will apparently happen in a week or so at current usage rates (depending on how fast most repos migrate)