Repository navigation

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

ci: provider suite becomes a gate; PR gate checks dev's head#197
saqibmanan merged 3 commits into
devfrom
ci/provider-gate-and-dev-sha

Commits on Sep 17, 2026
- ci: gate dev deploys on the provider suite
  saqibmanan
  committed
  47c8430
- ci: run the provider suite inside the PR gate's full suite
  saqibmanan
  committed
  aa6a17d
- ci: check dev is running dev's head, not the PR head
  saqibmanan
  committed
  f75057f