Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

i#1569: Update Arm hosted GitHub Action Runner labels #7243

Merged
merged 2 commits into from
Feb 3, 2025

Conversation

fatihonur
Copy link
Collaborator

These labels point to a set of Arm AWS instances which are scalable and will get better support over the long-term.

See: https://gitlab.arm.com/tooling/gha-runner-docs#runner-configurations

Issue: #1569

These labels point to a set of Arm AWS instances which are scalable
and will get better support over the long-term.

See: https://gitlab.arm.com/tooling/gha-runner-docs#runner-configurations

Issue: #1569
Copy link
Contributor

@AssadHashmi AssadHashmi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Approved. Before merging to head GitHub will display Git commit messages for each commit done to the PR branch. Please remove the extraneous Git commit messages leaving the one which will appear in the history.

@fatihonur fatihonur added this pull request to the merge queue Feb 3, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Feb 3, 2025
@egrimley-arm
Copy link
Contributor

egrimley-arm commented Feb 3, 2025

Something weird is happening here. Did you do "squash and merge"?

Perhaps GitHub has changed over the weekend or this project has been reconfigured. I don't recognise the "merge queue" stuff.

@fatihonur fatihonur added this pull request to the merge queue Feb 3, 2025
Merged via the queue into master with commit 3676061 Feb 3, 2025
17 checks passed
@fatihonur fatihonur deleted the i1569-update-arm-runner-labels-2 branch February 3, 2025 15:20
@fatihonur
Copy link
Collaborator Author

I followed the GitHub directions and clicked the "Merge When Ready" button. Then "merge queue" came along itself.

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.

3 participants