Skip to content

ci: Retarget PRs opened against main to dev - #39

Merged
hisenb3rg merged 1 commit into
devfrom
ci/retarget-main-prs
Sep 5, 2026
Merged

ci: Retarget PRs opened against main to dev#39
hisenb3rg merged 1 commit into
devfrom
ci/retarget-main-prs

ci: Retarget PRs opened against main to dev

580f82a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Validations / agent plugin manifests
succeeded Sep 5, 2026 in 10s