cleanup move_pr.sh to make it suitable for CI for v2#13652

Merged

brmataptos merged 14 commits intomainfrom brm-issue-13651

Jul 3, 2024

+134,547-35

Commits on Jul 2, 2024

cargo nextest --cargo-profile ci seems to be broken, just use --profile
brmataptos
committed
fix script to use nextest --cargo-profile again since it works if you upgrade cargo-nextest
brmataptos
committed
add a comment to help future people with problems
brmataptos
committed
Revert "[Feature] [Package System] Add option to override standard library version (#13318 )"
brmataptos
committed
move move_pr.sh v2 docs for aptos-framework to avoid conflicts with v1
brmataptos
committed
update test outputs
brmataptos
committed
update more v2 doc outputs under aptos-move
brmataptos
committed
fix v1.matched for verification tests, fix some stray files
brmataptos
committed
Reapply "[Feature] [Package System] Add option to override standard library version (#13318 )"
brmataptos
committed
Use nextest -profile ci by default to use replays to handle heisenbugs
brmataptos
committed
update test outputs, add -t to -a
brmataptos
committed
remove unneeded changes to move_pr.sh script, leaving more sturdy v2 test
brmataptos
committed
Merge branch 'main' into brm-issue-13651
brmataptos
authored

Commits on Jul 3, 2024

Merge branch 'main' into brm-issue-13651
brmataptos
authored