Skip to content

ci: pin PR-Agent by image digest and inline Robin with a pinned action - #357

Merged
devopam merged 2 commits into
mainfrom
ci/pin-review-workflows
Oct 18, 2026
Merged

devopam merged 2 commits into
mainfrom
ci/pin-review-workflows

Commits

  1. Commits on Oct 18, 2026