Skip to content

[MAINT] Run fewer services in CI - #1782

Merged
PGijsbers merged 3 commits into
mainfrom
maint/leaner-ci
Nov 3, 2026
Merged

PGijsbers merged 3 commits into
mainfrom
maint/leaner-ci