about summary refs log tree commit diff
path: root/tvix
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2023-02-01T17·27+0300
committerclbot <clbot@tvl.fyi>2023-02-01T17·34+0000
commitdc1e86001c109b58dea733e5cb3648164d1d1dd4 (patch)
treeebafbc07d55e9a8d0afb1168b5fecabb5dcc507a /tvix
parent30c445405671ab64198c4c048436883dfbd726b9 (diff)
fix(tvix): add dummy target to attach extra-step to r/5818
Change-Id: I594a6652e2efe7aa6e35c7cdd84fc3097660614f
Reviewed-on: https://cl.tvl.fyi/c/depot/+/8009
Reviewed-by: flokli <flokli@flokli.de>
Tested-by: BuildkiteCI
Autosubmit: tazjin <tazjin@tvl.su>
Diffstat (limited to 'tvix')
-rw-r--r--tvix/default.nix16
1 files changed, 10 insertions, 6 deletions
diff --git a/tvix/default.nix b/tvix/default.nix
index d99bbe7ebe18..b97d0dd00fff 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" ];
 }