Repository navigation

Clone fewer submodules in CI - #585

Merged

michalpelka merged 2 commits into

MapsHD:mainfrom

capCafu:ci-fewer-submodule-clones

Oct 27, 2026

Merged

Clone fewer submodules in CI#585
michalpelka merged 2 commits into
MapsHD:mainfrom
capCafu:ci-fewer-submodule-clones

Commits on Oct 26, 2026
- Skip submodules in the clang-format check
  capCafu
  committed
  2f60691
- Check out top-level submodules only in CI builds
  capCafu
  committed
  de0626c