Skip to content

ci: track dev instead of develop after branch rename - #488

Merged
SaJaToGu merged 1 commit into
devfrom
chore/rename-develop-to-dev-ci
Jul 20, 2026
Merged

ci: track dev instead of develop after branch rename#488
SaJaToGu merged 1 commit into
devfrom
chore/rename-develop-to-dev-ci

ci: track dev instead of develop after branch rename

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

Annotations

1 warning
Python 3.10
succeeded Jul 20, 2026 in 31s