From 31e2546d1f2785eb523c2298775ab4f0ca5b8d3c Mon Sep 17 00:00:00 2001 From: "Brian R. Murphy" <132495859+brmataptos@users.noreply.github.com> Date: Wed, 12 Jun 2024 13:48:19 -0700 Subject: [PATCH] add a comment to help future people with problems --- third_party/move/scripts/move_pr.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/third_party/move/scripts/move_pr.sh b/third_party/move/scripts/move_pr.sh index 13c87641b54b72..4e06fd03491f53 100755 --- a/third_party/move/scripts/move_pr.sh +++ b/third_party/move/scripts/move_pr.sh @@ -5,6 +5,9 @@ # A script to check whether a local commit related to Move is ready for a PR. +# Note that if tests aren't running for you try `cargo update` and maybe +# `cargo install cargo-nextest`. + set -e MOVE_PR_PROFILE="${MOVE_PR_PROFILE:-ci}"