From b75a730250b3a5b4056f43e6c8957afb348bffb5 Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Fri, 13 Jun 2025 09:19:28 -1000 Subject: [PATCH] ;tools: nightly-push: edits --- Justfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Justfile b/Justfile index 108e575fa..09270b067 100644 --- a/Justfile +++ b/Justfile @@ -1210,7 +1210,7 @@ nightly-push: git tag -f nightly master git push -f origin nightly git push -f origin master:binaries - echo "now wait for the nightly binaries to build; when successful, run just ghnightly-bin" + echo "Now wait; when nightly binaries have built successfully, run just ghnightly-bin" # Copy the latest-built nightly binaries to the Nightly prerelease. Wait for nightly-push's builds to complete first. @ghnightly-bin: