Philipp Horstenkamp df14b016b7
All checks were successful
Lint / pre-commit Linting (push) Successful in 20s
Fixed the name of the lint workflow.
2023-11-25 00:29:16 +01:00
..
2023-11-25 00:29:16 +01:00