Add CI

Signed-off-by: Nils Wistoff <nwistoff@iis.ee.ethz.ch>

Author: niwis

.github/workflows/lint.yml

@@ -0,0 +1,37 @@
+# Copyright 2025 ETH Zurich and University of Bologna.
+# Licensed under the Apache License, Version 2.0, see LICENSE for details.
+# SPDX-License-Identifier: Apache-2.0
+
+# Author: Nils Wistoff <nwistoff@iis.ee.ethz.ch>
+
+name: lint
+
+on: [ push, pull_request, workflow_dispatch ]
+
+jobs:
+  lint-license:
+    runs-on: ubuntu-latest
+    steps:
+      - name: touch requirements.txt
+        # see https://github.com/actions/setup-python/issues/807
+        run: touch ./requirements.txt
+      - name: lint license
+        uses: pulp-platform/pulp-actions/lint-license@v2.4.2
+        with:
+          license: |
+            Copyright (\d{4}(-\d{4})?\s)?(ETH Zurich and University of Bologna|lowRISC contributors).
+            (Solderpad Hardware License, Version 0.51|Licensed under the Apache License, Version 2.0), see LICENSE for details.
+            SPDX-License-Identifier: (SHL-0.51|Apache-2.0)
+
+  lint-sv:
+    runs-on: ubuntu-latest
+    steps:
+    - name: Checkout
+      uses: actions/checkout@v3
+    - name: Run Verible
+      uses: chipsalliance/verible-linter-action@main
+      with:
+        paths: src
+        github_token: ${{ secrets.GITHUB_TOKEN }}
+        fail_on_error: true
+        reviewdog_reporter: github-check