Massimiliano Pippi d8dc0d7403
chore: move custom linter to a separate package (#4790)
* move custom linter to its own package

* install the custom linter

* fix formatting

* drop python 3.7
2023-05-04 15:49:26 +02:00
..
2023-01-16 12:34:50 +01:00
2022-11-03 12:58:01 +01:00
2022-12-19 14:35:07 +01:00