Fixed the name of the lint workflow. #5

Merged
Philipp merged 1 commits from action-name-fix into main 2023-11-25 00:31:52 +01:00
1 Commits
Author SHA1 Message Date
PhilippandPhilipp Horstenkamp df14b016b7 Fixed the name of the lint workflow.
Lint / pre-commit Linting (push) Successful in 20s
2023-11-25 00:29:16 +01:00