From f9f0f421e6ded34d05a571d31a3ed996106efaea Mon Sep 17 00:00:00 2001
From: Michal Czyz <mczyz@antmicro.com>
Date: Fri, 6 Oct 2023 15:52:24 +0200
Subject: [PATCH] Enable lint of verification in CI

---
 .github/workflows/test-uarch.yml | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)

diff --git a/.github/workflows/test-uarch.yml b/.github/workflows/test-uarch.yml
index fcb77c189c6..91f053c8a68 100644
--- a/.github/workflows/test-uarch.yml
+++ b/.github/workflows/test-uarch.yml
@@ -7,6 +7,31 @@ env:
   VERILATOR_VERSION: v5.010
 
 jobs:
+  lint:
+    name: Lint microarchitectural tests
+    runs-on: ubuntu-latest
+    steps:
+      - name: Setup repository
+        uses: actions/checkout@v3
+        with:
+          submodules: recursive
+
+      - name: Setup environment
+        run: |
+          RV_ROOT=`pwd`
+          echo "RV_ROOT=$RV_ROOT" >> $GITHUB_ENV
+          PYTHONUNBUFFERED=1
+          echo "PYTHONUNBUFFERED=$PYTHONUNBUFFERED" >> $GITHUB_ENV
+
+          TEST_PATH=$RV_ROOT/verification/block
+          echo "TEST_PATH=$TEST_PATH" >> $GITHUB_ENV
+
+          pip3 install nox
+      - name: Lint
+        run: |
+          pushd ${TEST_PATH}
+            nox -s isort flake8 black
+          popd
   tests:
     name: Microarchitectural tests
     runs-on: ubuntu-latest