chore: rename DefinitionKind::GenericType
#18450
Triggered via pull request
September 30, 2024 21:42
michaeljklein
opened
#6182
Status
Success
Total duration
13s
Artifacts
–
pull-request-title.yml
on: pull_request_target
Validate PR title is Conventional Commit
2s
Warn external contributors about force-pushing
0s