Add job to cancel docs job when PRs are closed or merged#11530
Merged
hashhar merged 1 commit intotrinodb:masterfrom Mar 17, 2022
Merged
Add job to cancel docs job when PRs are closed or merged#11530hashhar merged 1 commit intotrinodb:masterfrom
hashhar merged 1 commit intotrinodb:masterfrom