Skip to content

ci: provider suite becomes a gate; PR gate checks dev's head - #197

Merged
saqibmanan merged 3 commits into
devfrom
ci/provider-gate-and-dev-sha
Sep 17, 2026
Merged

saqibmanan merged 3 commits into
devfrom
ci/provider-gate-and-dev-sha

ci: check dev is running dev's head, not the PR head

f75057f
Select commit
Loading
Failed to load commit list.