Skip to content

ci(v37-dev): add v37-dev to push allowlists so merged tip gets the build matrix - #1099

Merged
frstrtr merged 1 commit into
v37-devfrom
ci-steward/v37-dev-push-matrix
Aug 5, 2026
Merged

ci(v37-dev): add v37-dev to push allowlists so merged tip gets the build matrix#1099
frstrtr merged 1 commit into
v37-devfrom
ci-steward/v37-dev-push-matrix

ci(v37-dev): add v37-dev to push allowlists so merged tip gets the bu…

2abc8a9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar