Closed tpazderka closed 2 years ago
travis.org is dead, we need to move to Github Actions for our CI.
Done.
travis.org is dead, we need to move to Github Actions for our CI.