ci: Change check
to lint
in PR Title Checker
#2
Triggered via pull request
December 18, 2023 10:04
kajanan1212
opened
#20
Status
Success
Total duration
26s
Artifacts
–