diff options
| author | Vincent Ambo <mail@tazj.in> | 2023-03-28T07·40+0300 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2023-03-28T09·42+0000 |
| commit | 08bf03a3d89f0c18b296099ac7c0f37793b97d4d (patch) | |
| tree | 0e25f2df6d8a272e66df4eb2a05a8e3ed92e4e3f | |
| parent | b340b8a57fc1844eabcf43c46bea8063990db9b7 (diff) | |
refactor(views): move view export configuration to //views r/6052
Change-Id: I064b996fd52134b7e83541ea1190774c51a8ba30 Reviewed-on: https://cl.tvl.fyi/c/depot/+/8359 Autosubmit: tazjin <tazjin@tvl.su> Reviewed-by: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
| -rw-r--r-- | tvix/default.nix | 12 | ||||
| -rw-r--r-- | views/default.nix | 20 |
2 files changed, 21 insertions, 11 deletions
diff --git a/tvix/default.nix b/tvix/default.nix index f88a7bccd5..ef0e2386db 100644 --- a/tvix/default.nix +++ b/tvix/default.nix @@ -86,15 +86,5 @@ in ''; }; - export = (pkgs.runCommandLocal "export-tvix" { } '' - echo "carrier for repo export extra-step" > $out - '').overrideAttrs (_: { - meta.ci.extraSteps.github = depot.tools.releases.filteredGitPush { - filter = ":workspace=views/tvix"; - remote = "git@github.com:tvlfyi/tvix.git"; - ref = "refs/heads/canon"; - }; - }); - - meta.ci.targets = [ "shell" "export" "rust-docs" ]; + meta.ci.targets = [ "shell" "rust-docs" ]; } diff --git a/views/default.nix b/views/default.nix new file mode 100644 index 0000000000..886889ad03 --- /dev/null +++ b/views/default.nix @@ -0,0 +1,20 @@ +# Export configuration for the views. +{ depot, pkgs, ... }: + +let + export-tvix = depot.tools.releases.filteredGitPush { + filter = ":workspace=views/tvix"; + remote = "git@github.com:tvlfyi/tvix.git"; + ref = "refs/heads/canon"; + }; +in +(pkgs.runCommandLocal "export-views" { } + '' + echo "no-op carrier target for repo export steps" | tee $out + '').overrideAttrs + (_: { + meta.ci.extraSteps = { + inherit export-tvix; + }; + }) + |