Skip to content

CI: faster checks - #21

Merged
wbnns merged 2 commits into
mainfrom
ci-speed
Oct 11, 2026
Merged

wbnns merged 2 commits into
mainfrom
ci-speed

Commits

  1. Commits on Oct 11, 2026