Open davidkhala opened 9 months ago
Since travis-ci has changed to different pricing scheme, I propose to change back to github workflow
Since travis-ci has changed to different pricing scheme, I propose to change back to github workflow