Merge pull request #2779 from YosysHQ/mwk/nuke-travis
authorMiodrag Milanović <mmicko@gmail.com>
Mon, 24 May 2021 15:24:01 +0000 (17:24 +0200)
committerGitHub <noreply@github.com>
Mon, 24 May 2021 15:24:01 +0000 (17:24 +0200)
Remove Travis CI.


Trivial merge