don't include derivation name in temporary build directories (backport #13839) #14004

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged

mergify merged 1 commit into 2.31-maintenance from mergify/bp/2.31-maintenance/pr-13839

Sep 16, 2025

Merged

don't include derivation name in temporary build directories (backport #13839) #14004

don't include derivation name in temporary build directories

Mergify / Rule: merge using the merge queue (queue) succeeded Sep 16, 2025 in 0s

The pull request has been merged automatically

The pull request has been merged automatically at a3df190

View more details on Mergify