Closed mykelk closed 3 years ago
Travis build badge is red now. Let's move to Github CI.
Closed via f676e3cd4ca970166470447e5b332dd32d680721
Travis build badge is red now. Let's move to Github CI.