Change: Replace pylint with ruff #7
Triggered via pull request
October 5, 2023 06:09
bjoernricks
bjoernricks
synchronize
#1051
Status
Success
Total duration
15s
Artifacts
–
auto-merge.yml
on: pull_request_target
auto-merge
/
auto-merge
4s