Skip to content

[MAINT] Run fewer services in CI - #1782

Open
PGijsbers wants to merge 1 commit into
mainfrom
maint/leaner-ci
Open

[MAINT] Run fewer services in CI#1782
PGijsbers wants to merge 1 commit into
mainfrom
maint/leaner-ci

Commits

  1. Commits on Oct 23, 2026