fix(tools/releases): Explicitly set release phase in filteredGitPush
Change-Id: I70fe0eb168064795f704baf1a24556365cfdf8c9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5831 Tested-by: BuildkiteCI Reviewed-by: ezemtsov <eugene.zemtsov@gmail.com>
This commit is contained in:
parent
b9c31d6658
commit
45458207df
1 changed files with 1 additions and 1 deletions
|
@ -13,7 +13,7 @@ in
|
||||||
filteredGitPush = { filter, remote, ref ? "refs/heads/canon" }: {
|
filteredGitPush = { filter, remote, ref ? "refs/heads/canon" }: {
|
||||||
label = ":git: push '${filter}' to external git repository";
|
label = ":git: push '${filter}' to external git repository";
|
||||||
branches = [ "refs/heads/canon" ];
|
branches = [ "refs/heads/canon" ];
|
||||||
postBuild = true;
|
phase = "release";
|
||||||
|
|
||||||
command = pkgs.writeShellScript "${sanitizeDerivationName filter}-push" ''
|
command = pkgs.writeShellScript "${sanitizeDerivationName filter}-push" ''
|
||||||
set -e
|
set -e
|
||||||
|
|
Loading…
Reference in a new issue