Skip to content

CI: Use ubuntu-slim for lightweight CI jobs - #9250

Merged
seisman merged 1 commit into
masterfrom
ci/ubuntu-slim
Oct 8, 2026
Merged

CI: Use ubuntu-slim for lightweight CI jobs#9250
seisman merged 1 commit into
masterfrom
ci/ubuntu-slim

Commits

  1. Commits on Oct 8, 2026