diff options
-rw-r--r-- | tvix/default.nix | 6 |
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"; + }; } |