diff options
| -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; + }; + }) + |