Skip to content

ci: Gate size analysis on ready-to-merge label for PRs#5963

Merged
antonis merged 3 commits into
mainfrom
antonis/ci/size-analysis-ready-to-merge-gate
Apr 13, 2026
Merged

ci: Gate size analysis on ready-to-merge label for PRs#5963
antonis merged 3 commits into
mainfrom
antonis/ci/size-analysis-ready-to-merge-gate

ci: Add labeled event type to pull_request trigger

4336536
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar