Skip to content

improve external ci runners page#1073

Merged
ubiratansoares merged 1 commit into
masterfrom
improve-external-ci-runners-page
Jun 23, 2026
Merged

improve external ci runners page#1073
ubiratansoares merged 1 commit into
masterfrom
improve-external-ci-runners-page

Conversation

@marcoieni

@marcoieni marcoieni commented Jun 23, 2026

Copy link
Copy Markdown
Member

@marcoieni marcoieni force-pushed the improve-external-ci-runners-page branch from fb81420 to 59dccfe Compare June 23, 2026 15:12
@marcoieni marcoieni force-pushed the improve-external-ci-runners-page branch from 59dccfe to 23cd239 Compare June 23, 2026 15:12
@marcoieni marcoieni marked this pull request as ready for review June 23, 2026 15:16
@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jun 23, 2026
@rustbot

rustbot commented Jun 23, 2026

Copy link
Copy Markdown
Collaborator

r? @shepmaster

rustbot has assigned @shepmaster.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

Why was this reviewer chosen?

The reviewer was selected based on:

  • Owners of files modified in this PR: infra
  • infra expanded to 8 candidates
  • Random selection from 7 candidates

@rustbot rustbot assigned ubiratansoares and unassigned shepmaster Jun 23, 2026

@ubiratansoares ubiratansoares left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

@ubiratansoares ubiratansoares merged commit 8576317 into master Jun 23, 2026
1 check passed
@ubiratansoares ubiratansoares deleted the improve-external-ci-runners-page branch June 23, 2026 17:59
@rustbot rustbot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jun 23, 2026
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.

4 participants