Skip to content

Make titles of check commit jobs more readable#15939

Merged
findepi merged 2 commits intotrinodb:masterfrom
nineinchnick:short-check-commit-job-labels
Feb 2, 2023
Merged

Make titles of check commit jobs more readable#15939
findepi merged 2 commits intotrinodb:masterfrom
nineinchnick:short-check-commit-job-labels

Commits

Commits on Feb 2, 2023