Closed rjz closed 1 year ago
This change introduces an alternate CI platform (aka Github Actions) since the demise of Travis's free tier.
This change introduces an alternate CI platform (aka Github Actions) since the demise of Travis's free tier.