Add linting to pipeline
We should be doing some linting, in the pipeline on every merge.
I would also propose to switch to ruff for linting, as we have been pretty happy with it in other projects.
We should be doing some linting, in the pipeline on every merge.
I would also propose to switch to ruff for linting, as we have been pretty happy with it in other projects.