diff options
| author | Vincent Ambo <mail@tazj.in> | 2023-02-01T17·13+0300 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2023-02-01T17·21+0000 |
| commit | 87de3fff52baa927699fbc3a473302c169fec69d (patch) | |
| tree | 1205c689b8de81f1724637b026de0077d11604a7 | |
| parent | 88d86741dc5d7cbdbd01feaaa7355bc4240053d8 (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.nix | 6 |
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"; + }; } |