diff options
Diffstat (limited to 'third_party')
| -rw-r--r-- | third_party/overlays/tvl.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/third_party/overlays/tvl.nix b/third_party/overlays/tvl.nix index f7b1536069cc..7105dc59c2ea 100644 --- a/third_party/overlays/tvl.nix +++ b/third_party/overlays/tvl.nix @@ -47,6 +47,6 @@ self: super: { # Avoid builds of mkShell derivations in CI. mkShell = super.lib.makeOverridable(args: (super.mkShell args) // { - meta.ci = false; + meta.ci.skip = true; }); } |