Enable lint of verification in CI

chipsalliance / Cores-VeeR-EL2

VeeR EL2 Core

https://chipsalliance.github.io/Cores-VeeR-EL2/html/main/docs_rendered/html/index.html

Apache License 2.0

238 stars 70 forks source link

Enable lint of verification in CI #127

Closed mczyz-antmicro closed 9 months ago

mczyz-antmicro commented 9 months ago

This PR enables Nox sessions, which provide formatting and linting of tests located in the verification/block directory. Tools used are isort, flake8 and black

github-actions[bot] commented 9 months ago

Links to coverage and verification reports for this PR (#127) are available at https://chipsalliance.github.io/Cores-VeeR-EL2/

tmichalak commented 9 months ago

LGTM, thanks.