Comment Comment by kzrdude What's the benefit of circleci? I'm looking into switching from travis-ci.org to github actions, so far. parent kzrdude 6 years ago