pull-request-lint

History

Jan Klattenhoff ce06de60eb All checks were successful Lint Pull Request / Lint Pr Title (pull_request) Successful in 9s Details ci: update pull request types for linting workflow		2025-04-09 18:13:59 +02:00
..
workflows	ci: update pull request types for linting workflow	2025-04-09 18:13:59 +02:00