Closed jieter closed 3 years ago
As mentioned in https://github.com/leaflet-extras/leaflet-providers/pull/373#issuecomment-728198664, migrate CI from travis to github actions.
As mentioned in https://github.com/leaflet-extras/leaflet-providers/pull/373#issuecomment-728198664, migrate CI from travis to github actions.