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

SaJaToGu merged 1 commit into

devSaJaToGu/ai-issue-solver:devfrom

chore/rename-develop-to-dev-ciSaJaToGu/ai-issue-solver:chore/rename-develop-to-dev-ciCopy head branch name to clipboard