diff options
Diffstat (limited to 'views/default.nix')
| -rw-r--r-- | views/default.nix | 20 |
1 files changed, 20 insertions, 0 deletions
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; + }; + }) + |