Skip to content

ci: Rename commitlint to PR title Lint, echo PR titles from env var#114

Merged
richm merged 1 commit intomainfrom update_role_filesJun 21, 2023

Commits

Commits on Jun 21, 2023