14 Commits

Author	SHA1	Message	Date
Daniel	050091bd40	ci: do not sanitize file names (#824)	2024-10-30 23:09:17 +01:00
Daniel	1fd8181086	ci: split linter in two jobs (#819)	2024-10-27 14:36:43 +01:00
Daniel	8a7e65cd9f	ci: use base instead of head	2024-10-27 13:28:16 +01:00
Daniel	c811989a7a	ci: check all_changed_files.json instead of added_files.json	2024-10-27 02:25:30 +02:00
Daniel	ce2f20eb6b	ci: add linter comment on pull request (#817)	2024-10-27 02:19:27 +02:00
Daniel	ff755c6773	ci: temporary disable commenting for linter result	2023-12-13 15:05:50 +01:00
Daniel	104938319d	fix: use linter main branch	2023-08-20 13:30:39 +02:00
Daniel	2eb6275709	feat: name check	2023-08-19 22:31:02 +02:00
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