about summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--tvix/default.nix6
1 files changed, 6 insertions, 0 deletions
diff --git a/tvix/default.nix b/tvix/default.nix
index f0da4d05b335..d99bbe7ebe18 100644
--- a/tvix/default.nix
+++ b/tvix/default.nix
@@ -59,4 +59,10 @@ in
   };
 
   meta.ci.targets = [ "shell" ];
+
+  meta.ci.extraSteps.github = depot.tools.releases.filteredGitPush {
+    filter = ":workspace=views/tvix";
+    remote = "git@github.com:tvlfyi/tvix.git";
+    ref = "refs/heads/canon";
+  };
 }