Skip to content

chore(ci): pin pr-agent to skynergroup/.github@main - #3

Merged
yashiels merged 1 commit into
mainfrom
chore/pr-agent-pin-main
Jul 12, 2026
Merged

chore(ci): pin pr-agent to skynergroup/.github@main#3
yashiels merged 1 commit into
mainfrom
chore/pr-agent-pin-main

chore(ci): pin pr-agent to skynergroup/.github@main

949cbd0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar