feat: differentiate GitHub Actions environments in user-agent#9517

Merged

reggi merged 2 commits into

reggi/ci-user-agent-github-actions

Jun 10, 2026

Commits on Jun 9, 2026

feat(config): differentiate GitHub Actions environments in user-agent

reggi
and
Copilot
committed
refactor(config): emit GitHub Actions sub-ci as ci/{ci-name}/{sub-ci-name}

reggi
and
Copilot
committed