Skip to content

Commit

Permalink
add a comment to help future people with problems
Browse files Browse the repository at this point in the history
  • Loading branch information
brmataptos committed Jun 30, 2024
1 parent 2f02ffe commit 31e2546
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions third_party/move/scripts/move_pr.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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}"
Expand Down

0 comments on commit 31e2546

Please sign in to comment.