Skip to content
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.

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

nixpkgs-update: use tools from $PATH, pin nixpkgs-review #1623

Merged
merged 2 commits into from
Jan 7, 2025

Conversation

zowoq
Copy link
Contributor

@zowoq zowoq commented Dec 24, 2024

No description provided.

@zowoq zowoq force-pushed the nixpkgs-update branch 6 times, most recently from ee07abc to d3bdbf6 Compare December 30, 2024 01:28
@zowoq zowoq force-pushed the nixpkgs-update branch 2 times, most recently from 807185d to 40c22ce Compare January 6, 2025 04:23
@zowoq zowoq changed the title nixpkgs-update: various nixpkgs-update: use tools from $PATH, pin nixpkgs-review Jan 7, 2025
@zowoq zowoq marked this pull request as ready for review January 7, 2025 02:59
@zowoq zowoq added this pull request to the merge queue Jan 7, 2025
Merged via the queue into master with commit b90a577 Jan 7, 2025
3 checks passed
@zowoq zowoq deleted the nixpkgs-update branch January 7, 2025 03:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant