Skip to content

Disable linting

Mike Thompson requested to merge github/fork/MikeOpenHWGroup/MikeOpenHWGroup-disable-lint into master

Temporarily disable linting on pushes and PRs util Verilator v5.008 (or better) can be easily installed and runs.

Merge request reports

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent