CI: use WASM yosys instead of building our own.
authorwhitequark <whitequark@whitequark.org>
Thu, 16 Jul 2020 08:00:10 +0000 (08:00 +0000)
committerwhitequark <whitequark@whitequark.org>
Thu, 16 Jul 2020 08:41:53 +0000 (08:41 +0000)
commit5ccc2122ce42f5581957bbec998ff308d5b88b29
tree8b952bb1237395aa3ca5f986c99542e33288a2fb
parentd06add0aab5abb386a6d07a0430ca7a7a8373fe4
CI: use WASM yosys instead of building our own.

Fixes #434.
.travis.yml