Skip to content

CI: make the job names stable (independent of runner image used)#428

Merged
ForNeVeR merged 1 commit intomasterfrom
ci/stable-agent-names
Nov 23, 2025
Merged

CI: make the job names stable (independent of runner image used)#428
ForNeVeR merged 1 commit intomasterfrom
ci/stable-agent-names

Conversation

@ForNeVeR
Copy link
Copy Markdown
Member

This will help to better set up an automerge policy.

@ForNeVeR ForNeVeR self-assigned this Nov 23, 2025
@ForNeVeR ForNeVeR force-pushed the ci/stable-agent-names branch from 4b27990 to 0d6c7d5 Compare November 23, 2025 17:05
@ForNeVeR ForNeVeR merged commit 0d6c7d5 into master Nov 23, 2025
7 checks passed
@ForNeVeR ForNeVeR deleted the ci/stable-agent-names branch November 23, 2025 17:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant