Skip to content

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

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#5
yashiels merged 1 commit into
mainfrom
chore/pr-agent-pin-main

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

dcff8a5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.