4 Commits

Author	SHA1	Message	Date
Daniel Mach	0c579a83b4	GHA: Print pylint logs before diffing them	2023-01-19 10:54:01 +01:00
Daniel Mach	3040b1ddac	GHA: No longer test on push to master ... We're monitoring only the pull-requests, so don't waste resources on this	2022-12-08 10:03:30 +01:00
Enno Gotthold	e23e13062f	CI: Add code linters ... This adds mypy & darker (black) to GitHub Actions. These will fail because the code lacks type annotations and doesn't follow the latest code style guidelines yet.	2022-12-05 14:43:53 +01:00
Daniel Mach	45843d062e	GHA: Diff pylint runs on plugins ... This should detect API breakages before they land in master	2022-10-26 16:08:20 +02:00