diff options
Diffstat (limited to 'tools/releases')
| -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 |