diff options
| author | Vincent Ambo <mail@tazj.in> | 2022-06-03T12·38+0000 |
|---|---|---|
| committer | tazjin <tazjin@tvl.su> | 2022-06-06T12·02+0000 |
| commit | 45458207df0815f0f3bb050a3fc5f5a83debe7b6 (patch) | |
| tree | f0dc4dccf076ad5ff6c822372f55a5c721077380 /tools | |
| parent | b9c31d665822b07ff1fc74ae01d9c164571b3ecd (diff) | |
fix(tools/releases): Explicitly set release phase in filteredGitPush r/4223
Change-Id: I70fe0eb168064795f704baf1a24556365cfdf8c9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5831 Tested-by: BuildkiteCI Reviewed-by: ezemtsov <eugene.zemtsov@gmail.com>
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/releases/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/releases/default.nix b/tools/releases/default.nix index 2d00a2b01fb0..d38ca0b5d8be 100644 --- a/tools/releases/default.nix +++ b/tools/releases/default.nix @@ -13,7 +13,7 @@ in filteredGitPush = { filter, remote, ref ? "refs/heads/canon" }: { label = ":git: push '${filter}' to external git repository"; branches = [ "refs/heads/canon" ]; - postBuild = true; + phase = "release"; command = pkgs.writeShellScript "${sanitizeDerivationName filter}-push" '' set -e |