Commit Graph

12 Commits

Author SHA1 Message Date
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