Skip to content

Add correct CI pipeline names to Copilot instructions#34255

Merged
rmarinho merged 1 commit intomainfrom
copilot/ci-pipeline-names
Feb 26, 2026
Merged

Add correct CI pipeline names to Copilot instructions#34255
rmarinho merged 1 commit intomainfrom
copilot/ci-pipeline-names

Commits

Commits on Feb 26, 2026