CI Lint with librecores github action linter

Add the librecores linter, that also does proper annotation to the source code.
2026-05-02 06:35:15 +00:00 · 2021-04-18 14:23:31 +02:00
parent 0519ae4a52
commit cfb779d3d6
3 changed files with 18 additions and 5 deletions
--- a/serv.core
+++ b/serv.core
@@ -38,6 +38,8 @@ targets:
    tools:
      verilator:
        mode : lint-only
+        verilator_options:
+          - "-Wall"
    toplevel : serv_rf_top

 parameters: