1 files changed, 6 insertions, 0 deletions
diff --git a/tvix/default.nix b/tvix/default.nix
index f0da4d05b3..d99bbe7ebe 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";
+  };
 }