don't include derivation name in temporary build directories (backport #13839)#14003
Merged
Merged
Mergify / Rule: merge using the merge queue (queue)
cancelled
Sep 16, 2025 in 0s
The pull request has been removed from the queue `default`
Pull request #14003 has been dequeued. The pull request could not be merged. This could be related to an activated branch protection or ruleset rule that prevents us from merging. (details: 2 of 4 required status checks are in progress.).
You can take a look at Queue: Embarked in merge queue check runs for more details about the failure.
Loading