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.

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

Jump to bottom

Upgrade nix #3

Merged
merged 14 commits into from
Feb 4, 2025
Merged

Upgrade nix #3

merged 14 commits into from
Feb 4, 2025

Conversation

thijsc
Copy link
Member

@thijsc thijsc commented Feb 2, 2025 •
edited
Loading

Upgrade Nix

@thijsc thijsc added the chore label Feb 2, 2025
@thijsc thijsc self-assigned this Feb 2, 2025
@backlog-helper
Copy link

backlog-helper bot commented Feb 2, 2025

Hi @thijsc,

We've found some issues with your Pull Request.

  • This Pull Request is missing reviewers. Either convert this Pull Request into a draft or ignore this rule by adding [skip review] to your Pull Request body. - (More info)

New issue guide | Backlog management | Rules | Feedback

@thijsc thijsc changed the title Nix 010 Upgrade nix Feb 3, 2025
@thijsc thijsc merged commit a06be05 into main Feb 4, 2025
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@thijsc thijsc

Labels
chore
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@thijsc