diff options
Diffstat (limited to 'third_party')
-rw-r--r-- | third_party/arion/OWNERS | 3 | ||||
-rw-r--r-- | third_party/arion/default.nix | 8 |
2 files changed, 11 insertions, 0 deletions
diff --git a/third_party/arion/OWNERS b/third_party/arion/OWNERS new file mode 100644 index 000000000000..79a422fcde1c --- /dev/null +++ b/third_party/arion/OWNERS @@ -0,0 +1,3 @@ +inherit: true +owners: + - grfn diff --git a/third_party/arion/default.nix b/third_party/arion/default.nix new file mode 100644 index 000000000000..16cd92ea3f48 --- /dev/null +++ b/third_party/arion/default.nix @@ -0,0 +1,8 @@ +{ pkgs, ... }: + +(import (pkgs.fetchFromGitHub { + owner = "hercules-ci"; + repo = "arion"; + rev = "db6d4d7490dff363de60cebbece3ae9361e3ce43"; + sha256 = "0d8nqmc7fjshigax2g47ips262v8ml27x0ksq59kmprgb7ckzi5l"; +}) { inherit pkgs; }).arion |