Skip to content

Skip redundant PR checkout at head commit#104

Merged
dbpolito merged 2 commits into
mainfrom
fix/skip-pr-checkout-at-head
Jun 24, 2026
Merged

Skip redundant PR checkout at head commit#104
dbpolito merged 2 commits into
mainfrom
fix/skip-pr-checkout-at-head

fix: refine PR branch alignment

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

Annotations

1 warning
review
succeeded Jun 24, 2026 in 2m 52s