Closed gromakovsky closed 4 years ago
Problem: we are using GitHub CI now, but the badge is old (Travis). Solution: update the badge.
Problem: we are using GitHub CI now, but the badge is old (Travis). Solution: update the badge.