tree 4cfc164d5645c9ae8aa50b35553ade1c69e998c3
parent e27eae33dd0f1108337da661729501c742034598
author Rupert Swarbrick <rswarbrick@lowrisc.org> 1636617486 +0000
committer Rupert Swarbrick <rswarbrick@gmail.com> 1637082864 +0000

[ci] Add gen-mubi.py to CI

Signed-off-by: Rupert Swarbrick <rswarbrick@lowrisc.org>