I don't think there's any reason to stay on Travis. Any volunteers to help with switching to Github Actions?
I don't think there's any reason to stay on Travis.
Any volunteers to help with switching to Github Actions?