diff options
| author | Profpatsch <mail@profpatsch.de> | 2021-04-18T08·29+0200 |
|---|---|---|
| committer | Profpatsch <mail@profpatsch.de> | 2022-02-27T17·21+0000 |
| commit | 723c21ddb671aa4648559109c2d7ea3c23d9a9c9 (patch) | |
| tree | bc2f743ad2c56ec0dcfa19832e3f9e4226c6d096 /third_party/overlays/dhall/OWNERS | |
| parent | 4d5459ef9344d277198fa3c14a04206ff4c417d9 (diff) | |
fix(third_party/nixpkgs): always use easy-dhall-nix tools r/3873
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 <tazjin@tvl.su> Reviewed-by: zseri <zseri.devel@ytrizja.de>
Diffstat (limited to 'third_party/overlays/dhall/OWNERS')
| -rw-r--r-- | third_party/overlays/dhall/OWNERS | 3 |
1 files changed, 3 insertions, 0 deletions
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 |