6 Commits

Author	SHA1	Message	Date
Daniel	bcd62602d9	ci: updated dependencies	2023-07-12 13:40:55 +02:00
Daniel	33d6f1eef3	ci: updated actions/checkout to 3	2023-07-12 13:38:25 +02:00
Daniel	bfbdb80d0e	Update pr-lint.yaml	2023-02-25 18:11:37 +01:00
Daniel	7f7775c80a	ci: don't fail pipeline if linter issues found	2022-12-21 01:07:39 +01:00
Daniel	259f7c537f	ci: put linter result in spoiler tag	2022-12-21 01:06:49 +01:00
Daniel	2d5af9a481	ci: check IR files for issues in PRs ... now using `pull_request_target` instead of `pull_request`	2022-12-20 20:00:34 +01:00