about summary refs log tree commit diff
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2023-03-28T07·40+0300
committerclbot <clbot@tvl.fyi>2023-03-28T09·42+0000
commit08bf03a3d89f0c18b296099ac7c0f37793b97d4d (patch)
tree0e25f2df6d8a272e66df4eb2a05a8e3ed92e4e3f
parentb340b8a57fc1844eabcf43c46bea8063990db9b7 (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.nix12
-rw-r--r--views/default.nix20
2 files changed, 21 insertions, 11 deletions
diff --git a/tvix/default.nix b/tvix/default.nix
index f88a7bccd595..ef0e2386db0b 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 000000000000..886889ad03f1
--- /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;
+    };
+  })
+