Closed dfellis closed 4 years ago
May also use this PR to switch to Github Actions
Yeah, Travis CI doesn't even work anymore. Definitely migrating.
May also use this PR to switch to Github Actions