Skip to content

ci: pin-gate fail closed on git-diff error#320

Merged
devkoriel merged 1 commit into
mainfrom
ci/pin-gate-fail-closed
Jun 30, 2026
Merged

ci: pin-gate fail closed on git-diff error#320
devkoriel merged 1 commit into
mainfrom
ci/pin-gate-fail-closed

Commits

Commits on Jun 30, 2026