Commit 89fe528

committed

Auto merge of #3257 - RalfJung:build-tests, r=RalfJung

./miri build: also build tests, to avoid rebuilds later

2 parents 842933c + 4fe7ed0 commit 89fe528Copy full SHA for 89fe528

6 files changed

+497

-361

lines changed

+497

-361

lines changed

Comments

(0)