move lint actions to their own job, add more checks, fix linting issues#85

Merged

finn-block merged 1 commit intomainfrom misc-linting

Oct 31, 2023

+1,886-90

Commits on Oct 31, 2023

move lint actions to their own job, add more checks, fix linting issues
finn-block
committed