From 8f1565498510d38931c5950c7fb9031152b1fee1 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Tue, 9 May 2023 08:54:29 +0530 Subject: [PATCH] Ensure kitty is rebuilt after publishing the nightly --- publish.py | 1 + 1 file changed, 1 insertion(+) diff --git a/publish.py b/publish.py index 31187e3cf..4013051ad 100755 --- a/publish.py +++ b/publish.py @@ -548,6 +548,7 @@ def main() -> None: with change_to_git_master(): building_nightly = True exec_actions(NIGHTLY_ACTIONS, args) + subprocess.run(['make', 'debug']) return require_git_master() if args.action == 'all':