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)
commit02a5b71982e6f7190f2485313c3b1212dfbe6d54
tree8d27e839765e9b1150712b28c19863dfab49264e
parentf878a0e517ebdacd77798bb3f91d5c97f4d8b958
parentab5ff32b31bf349e58204d97e89914b4677fc444
Merge pull request #138 from YosysHQ/mmicko/ci

Added CI