Commit Graph

4 Commits

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