Skip to content

Cancel old jobs on push#2380

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

Cancel old jobs on push#2380
AndreyAkinshin merged 1 commit intomasterfrom
cancel-old-ci-push

Commits

Commits on Jul 26, 2023