Update github actions, add verilator lint

Author: micprog

.github/workflows/doc.yml

@@ -17,14 +17,14 @@ jobs:
     runs-on: ubuntu-latest                        # will fail)
     steps:
       - name: Checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v6
         with:
           persist-credentials: false
 
       - name: Install Bender
         uses: pulp-platform/pulp-actions/bender-install@v2
         with:
-          version: 0.27.2
+          version: 0.30.0
 
       - name: Install Morty
         run: |

.github/workflows/lint.yml

@@ -0,0 +1,33 @@
+name: Lint
+
+on:
+  push:
+    branches-ignore:
+      - gh-pages
+      - v**
+  pull_request:
+    branches-ignore:
+      - gh-pages
+      - v**
+
+jobs:
+  verilator-lint:
+    name: Verilator lint
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v6
+
+      - name: Install Bender
+        uses: pulp-platform/pulp-actions/bender-install@v2
+        with:
+          version: 0.30.0
+
+      - name: Install verilator
+        uses: veryl-lang/setup-verilator@v1
+
+      - name: Bender checkout
+        run: bender checkout
+
+      - name: Run Verilator lint
+        run: scripts/run_verilator.sh