1 files changed, 10 insertions, 6 deletions
diff --git a/tvix/default.nix b/tvix/default.nix
index d99bbe7ebe..b97d0dd00f 100644
--- a/tvix/default.nix
+++ b/tvix/default.nix
@@ -58,11 +58,15 @@ in
     ];
   };
 
-  meta.ci.targets = [ "shell" ];
+  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.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" ];
 }