Commit Graph

7 Commits

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