Skip to content

specify 'connections' option for dummy script in CI manually#1458

Merged
PetrShumilov merged 1 commit intomasterfrom
pshumilov/add_fix_github_CI
Nov 19, 2025
Merged

specify 'connections' option for dummy script in CI manually#1458
PetrShumilov merged 1 commit intomasterfrom
pshumilov/add_fix_github_CI

Commits

Commits on Nov 17, 2025