about summary refs log tree commit diff
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2023-02-01T17·13+0300
committerclbot <clbot@tvl.fyi>2023-02-01T17·21+0000
commit87de3fff52baa927699fbc3a473302c169fec69d (patch)
tree1205c689b8de81f1724637b026de0077d11604a7
parent88d86741dc5d7cbdbd01feaaa7355bc4240053d8 (diff)
chore(tvix): mirror exported repository r/5816
Pushes a mirror of tvix to github/tvlfyi/tvix

Change-Id: I86e7c1b1dc1fcc1012fa72234588b26ac2554056
Reviewed-on: https://cl.tvl.fyi/c/depot/+/8007
Autosubmit: tazjin <tazjin@tvl.su>
Reviewed-by: flokli <flokli@flokli.de>
Tested-by: BuildkiteCI
-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";
+  };
 }