Skip to content

ci: move all CI workflows to the dedicated ExtendDB runner pool - #379

Merged
yesyayen merged 5 commits into
mainfrom
ci/dedicated-runner-pool
Oct 2, 2026
Merged

yesyayen merged 5 commits into
mainfrom
ci/dedicated-runner-pool

Commits

Commits on Oct 1, 2026