2 Commits

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