Closed RiccardoM closed 1 year ago
This PR upgrades the linting workflow inside the repository in order to use lints instead of pedantic (which is now deprecated).
lints
pedantic
make format
make lint
CHANGELOG.md
Files changed
Description
This PR upgrades the linting workflow inside the repository in order to use
lints
instead ofpedantic
(which is now deprecated).Checklist
make format
.make lint
.CHANGELOG.md
file.Files changed
in the Github PR explorer and added meaningful comments.