Skip to content

Conversation

djc
Copy link
Contributor

@djc djc commented Sep 26, 2025

Continuing the work started in

@djc djc requested a review from rami3l September 26, 2025 07:20
@djc djc force-pushed the notifications-2 branch 3 times, most recently from a4dd0a3 to ed4ff46 Compare September 26, 2025 11:56
@rami3l rami3l self-assigned this Sep 28, 2025
rami3l
rami3l previously approved these changes Sep 28, 2025
@rami3l rami3l dismissed their stale review September 28, 2025 05:54

Concerns regarding the output format change

@djc djc force-pushed the notifications-2 branch from 3245111 to ee12b38 Compare October 1, 2025 12:20
Copy link
Member

@rami3l rami3l left a comment

Choose a reason for hiding this comment

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

LGTM! I'm still not sure if anyone is relying on parsing our output though since the format has changed, maybe we have to go through a full release to know that.

&self.target_triple,
Some(&self.target_triple),
));
info!(component = "rust", "installing component");
Copy link
Member

@rami3l rami3l Oct 1, 2025

Choose a reason for hiding this comment

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

This will be covered by #4471, not sure if it should be added back in that PR during rebase.

cc @FranciscoTGouveia

@djc djc force-pushed the notifications-2 branch from ee12b38 to 054e3c6 Compare October 1, 2025 13:37
@djc djc enabled auto-merge October 1, 2025 13:37
@djc djc added this pull request to the merge queue Oct 1, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Oct 1, 2025
@djc djc added this pull request to the merge queue Oct 1, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Oct 1, 2025
@djc djc added this pull request to the merge queue Oct 1, 2025
Merged via the queue into master with commit fca7d98 Oct 1, 2025
29 checks passed
@djc djc deleted the notifications-2 branch October 1, 2025 16:11
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