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 |