Merge pull request #157 from hhe07/master #448
ci.yml
on: push
verilator-lint
19s
formal-verification
43s
Matrix: or1k-tests
Annotations
1 error and 20 warnings