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

Commits

Commits on Apr 7, 2026

Commits on Apr 13, 2026