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
df14b016b7 Fixed the name of the lint workflow.
All checks were successful
Lint / pre-commit Linting (push) Successful in 20s
2023-11-25 00:29:16 +01:00