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

Try to pin our nixops. #841

Merged

dmjio merged 1 commit into master from nixops

Mar 29, 2025

Owner

dmjio commented Mar 28, 2025

For use with nixpkgs upgrading.
When we move to ghc9122, we'll need to keep around our old ops tools.


          Try to pin our nixops.

- For use with nixpkgs upgrading.
- When we move to ghc9122, we'll need to keep around our old ops tools.

dmjio merged commit f8dd006 into master

3 checks passed

dmjio deleted the nixops branch

March 29, 2025 07:14

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet