Skip to content

Conversation

@fmeum
Copy link
Collaborator

@fmeum fmeum commented May 2, 2025

No description provided.

@fmeum fmeum requested a review from a team as a code owner May 2, 2025 08:44
@fmeum fmeum requested a review from coeuvre May 2, 2025 08:45
@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 May 2, 2025
&& symlink.path().isDirectory(Symlinks.NOFOLLOW)) {
// If a directory output is being materialized as a symlink, creating the symlink fails as we
// must first delete the preexisting empty directory. Since this is rare (and in the future
// BwoB may no longer eagerly create these directories), we don't delete the directory
Copy link
Collaborator Author

Choose a reason for hiding this comment

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

This refers to #25976. I can update the comment depending on which PR is merged first.

Copy link
Contributor

Choose a reason for hiding this comment

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

Let's get #25976 merged first (it needs a rebase).

Copy link
Contributor

Choose a reason for hiding this comment

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

Approving since #25976 can't yet be merged.

@tjgq tjgq 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 May 22, 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 May 23, 2025
@brentleyjones
Copy link
Contributor

Can we cherry-pick this into 8.x/7.x?

@fmeum
Copy link
Collaborator Author

fmeum commented May 29, 2025

@bazel-io fork 8.3.0

bazel-io pushed a commit to bazel-io/bazel that referenced this pull request May 29, 2025
Closes bazelbuild#25986.

PiperOrigin-RevId: 762397218
Change-Id: I60c231934becdb620dadc3bec878d828abe450b8
github-merge-queue bot pushed a commit that referenced this pull request Jun 3, 2025
…26184)

Closes #25986.

PiperOrigin-RevId: 762397218
Change-Id: I60c231934becdb620dadc3bec878d828abe450b8

Commit
c1165a6

Co-authored-by: Fabian Meumertzheim <[email protected]>
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