Add linting for servant and serving to Github actions

This commit is contained in:
Olof Kindgren 2023-06-22 15:49:04 +02:00
parent 8edd456b5d
commit cd3b587364

View file

@ -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