Closed pconrad closed 4 years ago
In this PR, we add GitHub Actions and remove Travis-CI as our CI system
In this PR, we add GitHub Actions and remove Travis-CI as our CI system