tree 7aef5631d4eba55fd67c084d6617bf9bd55cdf17
parent 43225aa08a32537aefcd39e0fe474276d0bff81e
author Miguel Young de la Sota <mcyoung@google.com> 1572285675 -0500
committer Garret Kelly <Garret.Kelly@gmail.com> 1573226555 -0500

[test] Set up CI for the Verilator-based pytest.

Signed-off-by: Miguel Young de la Sota <mcyoung@google.com>