Commit 4836cbb

committed

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

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

2 parents 312f174 + 4fe7ed0 commit 4836cbbCopy full SHA for 4836cbb

6 files changed

+497

-361

lines changed

+497

-361

lines changed

Comments

(0)