This repository was archived by the owner on Aug 26, 2024. It is now read-only.
This repository was archived by the owner on Aug 26, 2024. It is now read-only.
Possible enhancement: we may want to consider switching from Travis to Github Actions #418
Description
This is not urgent, just a possible alternative. I've found it a bit more stable in the past year.