blob: 83c2782719ca731766d17887c1253f2b5de5e6d0 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
# Export configuration for the views.
{ depot, pkgs, ... }:
let
export-tvix = depot.tools.releases.filteredGitPush {
filter = ":workspace=views/tvix";
remote = "git@github.com:tvlfyi/tvix.git";
ref = "refs/heads/canon";
};
export-kit = depot.tools.releases.filteredGitPush {
filter = ":unsign:workspace=views/kit";
remote = "git@github.com:tvlfyi/kit.git";
ref = "refs/heads/canon";
};
in
(pkgs.runCommandLocal "export-views" { }
''
echo "no-op carrier target for repo export steps" | tee $out
'').overrideAttrs
(_: {
meta.ci.extraSteps = {
inherit export-tvix export-kit;
};
})
|
