Skip to content

Conversation

@fmeum
Copy link
Collaborator

@fmeum fmeum commented Mar 28, 2025

This was unintentionally changed to using the progress message in f6aaa32.

@fmeum fmeum requested a review from a team as a code owner March 28, 2025 09:59
@fmeum fmeum requested a review from coeuvre March 28, 2025 09:59
@github-actions github-actions bot added team-Remote-Exec Issues and PRs for the Execution (Remote) team awaiting-review PR is awaiting review from an assigned reviewer labels Mar 28, 2025
@coeuvre coeuvre added awaiting-PR-merge PR has been approved by a reviewer and is ready to be merge internally and removed awaiting-review PR is awaiting review from an assigned reviewer labels Mar 28, 2025
@github-actions github-actions bot removed the awaiting-PR-merge PR has been approved by a reviewer and is ready to be merge internally label Mar 28, 2025
@fmeum fmeum deleted the patch-11 branch April 4, 2025 20:16
@meteorcloudy
Copy link
Member

@bazel-io fork 8.2.0

bazel-io pushed a commit to bazel-io/bazel that referenced this pull request Apr 7, 2025
This was unintentionally changed to using the progress message in f6aaa32.

Closes bazelbuild#25724.

PiperOrigin-RevId: 741609220
Change-Id: Ie68cd6c72dffa4be55c80df91429eafb9b9b8fc1
coeuvre pushed a commit to coeuvre/bazel that referenced this pull request Apr 7, 2025
This was unintentionally changed to using the progress message in f6aaa32.

Closes bazelbuild#25724.

PiperOrigin-RevId: 741609220
Change-Id: Ie68cd6c72dffa4be55c80df91429eafb9b9b8fc1
github-merge-queue bot pushed a commit that referenced this pull request Apr 7, 2025
This was unintentionally changed to using the progress message in
f6aaa32.

Closes #25724.

PiperOrigin-RevId: 741609220
Change-Id: Ie68cd6c72dffa4be55c80df91429eafb9b9b8fc1

Commit
d2ff273

Co-authored-by: Fabian Meumertzheim <fabian@meumertzhe.im>
fmeum added a commit to fmeum/bazel that referenced this pull request Apr 25, 2025
This was unintentionally changed to using the progress message in f6aaa32.

Closes bazelbuild#25724.

PiperOrigin-RevId: 741609220
Change-Id: Ie68cd6c72dffa4be55c80df91429eafb9b9b8fc1
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

team-Remote-Exec Issues and PRs for the Execution (Remote) team

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants