Closed JSAbrahams closed 3 years ago
Remove Travis and set up workflow which uses GitHub's workflows.
Summary
Remove Travis and set up workflow which uses GitHub's workflows.