Closed aspiers closed 3 months ago
Travis is no longer free, so move to GitHub. (In the future ideally we should reduce dependencies on proprietary platforms.)
Travis is no longer free, so move to GitHub. (In the future ideally we should reduce dependencies on proprietary platforms.)