tidy: skip submodules if not present for non-CI environments#126230
Merged
bors merged 2 commits intorust-lang:masterfrom Jun 23, 2024
Merged
tidy: skip submodules if not present for non-CI environments#126230bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom