Skip to content

chore(ci): pin pr gate action#2368

Merged
elezar merged 1 commit into
mainfrom
codex/pin-pr-gate-action-sha
Jul 20, 2026
Merged

chore(ci): pin pr gate action#2368
elezar merged 1 commit into
mainfrom
codex/pin-pr-gate-action-sha