From cd3b58736422624ddaa36d39d2a386fd94c850b2 Mon Sep 17 00:00:00 2001
From: Olof Kindgren <olof.kindgren@gmail.com>
Date: Thu, 22 Jun 2023 15:49:04 +0200
Subject: [PATCH] Add linting for servant and serving to Github actions

---
 .github/workflows/lint.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index 8415f24..27a0608 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -16,3 +16,5 @@ jobs:
       - run: pip3 install fusesoc
       - run: fusesoc library add $REPO $GITHUB_WORKSPACE/$REPO
       - run: fusesoc run --target=lint $VLNV
+      - run: fusesoc run --target=lint servant
+      - run: fusesoc run --target=lint serving