Closed fingolfin closed 3 years ago
Point to GitHub Actions instead of Travis.
Thanks so much! I always forget about the badges.
Point to GitHub Actions instead of Travis.