Damien Arnodo bf80e60d7f fix(ci): use head_ref for PR checkout instead of ref_name ...

- gitea.ref_name returns PR number for pull_request events
- Use gitea.head_ref (source branch) for PRs
- Use gitea.ref_name for push events
- Remove unnecessary git checkout sha step
- Clean up redundant Save Plan Output step

Refs #3

2025-12-08 15:56:31 +00:00

7.1 KiB

Raw Blame History

View Raw