Merge pull request #138 from YosysHQ/mmicko/ci
authorMiodrag Milanović <mmicko@gmail.com>
Wed, 12 Jan 2022 13:24:51 +0000 (14:24 +0100)
committerGitHub <noreply@github.com>
Wed, 12 Jan 2022 13:24:51 +0000 (14:24 +0100)
Added CI


Trivial merge