EdJoPaTo 476ac87c99 ci: split up lint job (#1264) ... This helps with identifying what failed right from the title. Also steps after a failing one are now always executed. Also shortens the steps a bit by removing obvious names.		2024-08-02 17:31:18 -07:00
..
ISSUE_TEMPLATE	chore: update labels in issue templates (#1212)	2024-06-29 08:38:01 -07:00
workflows	ci: split up lint job (#1264)	2024-08-02 17:31:18 -07:00
CODEOWNERS	docs(github): update code owners about past maintainers (#1073)	2024-04-27 16:06:29 -07:00
dependabot.yml	chore(github): create dependabot.yml (#575)	2023-10-21 12:17:47 +02:00
pull_request_template.md	chore(github): add pull request template (#269)	2023-06-17 17:36:34 +00:00