Skip to content

Miscellaneous cleanups#14370

Merged
edolstra merged 9 commits intomasterfrom
misc-cleanups
Oct 27, 2025
Merged

Miscellaneous cleanups#14370
edolstra merged 9 commits intomasterfrom
misc-cleanups

Conversation

@edolstra
Copy link
Member

Motivation

Miscellaneous cleanups cherry-picked from DeterminateSystems#165.

Context


Add 👍 to pull requests you find important.

The Nix maintainer team uses a GitHub project board to schedule and track reviews.

@edolstra edolstra requested a review from Ericson2314 as a code owner October 27, 2025 14:17
@github-actions github-actions bot added new-cli Relating to the "nix" command store Issues and pull requests concerning the Nix store labels Oct 27, 2025
@edolstra edolstra added this pull request to the merge queue Oct 27, 2025
Merged via the queue into master with commit 60f9489 Oct 27, 2025
20 checks passed
@edolstra edolstra deleted the misc-cleanups branch October 27, 2025 15:54
@edolstra edolstra mentioned this pull request Dec 9, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

new-cli Relating to the "nix" command store Issues and pull requests concerning the Nix store

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants