search

NixOS / nixops

NixOps is a tool for deploying to NixOS machines in a network or cloud.
https://nixos.org/nixops
GNU Lesser General Public License v3.0
1.87k stars 364 forks source link

fix op_check #1334

Closed manveru closed 4 years ago

grahamc commented 4 years ago

I won't block on the ratchet, but if anyone wants to add a commit improving type coverage in this file that would be cool :).

manveru commented 4 years ago

@grahamc what is this ratchet thing, and why does it not like the commit?

adisbladis commented 4 years ago

@manveru It's to force us to increase type coverage over time, so we measure the coverage before and after the PR.