Skip to content

[ci] fix git checkout for CI jobs (fixes #5151)#5152

Merged
StrikerRUS merged 1 commit intomasterfrom fix/git-ciApr 15, 2022

Commits

Commits on Apr 14, 2022