Skip to content

Cancel old jobs on push#2380

Merged
AndreyAkinshin merged 1 commit intomasterfrom cancel-old-ci-pushJul 26, 2023

Commits

Commits on Jul 26, 2023