From 723c21ddb671aa4648559109c2d7ea3c23d9a9c9 Mon Sep 17 00:00:00 2001 From: Profpatsch Date: Sun, 18 Apr 2021 10:29:49 +0200 Subject: fix(third_party/nixpkgs): always use easy-dhall-nix tools MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Using the dhall executables from nixpkgs is basically always a mistake, they have to be built and are regularly broken. We don’t want to care about that, but just use the official statically built binary releases. Change-Id: Ia6d9254076ca21f55e020ae81548e80d6be8281d Reviewed-on: https://cl.tvl.fyi/c/depot/+/3041 Tested-by: BuildkiteCI Reviewed-by: tazjin Reviewed-by: zseri --- third_party/overlays/dhall/OWNERS | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 third_party/overlays/dhall/OWNERS (limited to 'third_party/overlays/dhall/OWNERS') diff --git a/third_party/overlays/dhall/OWNERS b/third_party/overlays/dhall/OWNERS new file mode 100644 index 000000000000..a742d0d22bf6 --- /dev/null +++ b/third_party/overlays/dhall/OWNERS @@ -0,0 +1,3 @@ +inherited: true +owners: + - Profpatsch -- cgit 1.4.1