Merge pull request #9033 from nupplaphil/bug/travis
authorHypolite Petovan <hypolite@mrpetovan.com>
Fri, 21 Aug 2020 15:18:23 +0000 (11:18 -0400)
committerGitHub <noreply@github.com>
Fri, 21 Aug 2020 15:18:23 +0000 (11:18 -0400)
Replace Travis CI with Github Actions


Trivial merge