Closed asachs01 closed 1 year ago
Since github actions is doing what we need, it's time to move over there and stop using Travis.
Description
Since github actions is doing what we need, it's time to move over there and stop using Travis.