822725effc
GHA: Cancel the currently running jobs on force-pushing a pull-request
2023-01-19 10:54:18 +01:00
0c579a83b4
GHA: Print pylint logs before diffing them
2023-01-19 10:54:01 +01:00
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
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
